home *** CD-ROM | disk | FTP | other *** search
/ CU Amiga Super CD-ROM 22 / CU Amiga Magazine's Super CD-ROM 22 (1998)(EMAP Images)(GB)[!][issue 1998-05].iso / PowerPC / Programming / PPCSmallEiffel / bin_c / compile_to_jvm33.c < prev    next >
Encoding:
C/C++ Source or Header  |  1998-01-16  |  92.5 KB  |  3,017 lines

  1. /*
  2. -- ANSI C code generated by :
  3. -- SmallEiffel The GNU Eiffel Compiler -- Release (- 0.82)      --
  4. -- Copyright (C), 1994-98 - LORIA - UHP - CRIN - INRIA - FRANCE --
  5. -- Dominique COLNET and Suzanne COLLIN -    colnet@loria.fr     --
  6. --                 http://www.loria.fr/SmallEiffel              --
  7. */
  8. #include "compile_to_jvm.h"
  9. int r523id(T523* C){
  10. int R=0;
  11. R=(((T355*)((T355*)(r523run_class(C)))))->_id/*4*/;
  12. return R;
  13. }
  14. void r523jvm_target_descriptor_in(T523* C,T0* a1){
  15. /*IF*/if (r523is_dummy_expanded(C)) {
  16. r7extend(((T7*)a1),'B');
  17. }
  18. /*FI*/}
  19. T0*oBC523tmp_written_mark=NULL;
  20. /*No:TYPE_EXPANDED.jvm_if_x_eq*/
  21. int r523has_creation(T523* C,T0* a1){
  22. int R=0;
  23. R=r605has_creation(((T605*)(r523base_class(C))),a1);
  24. return R;
  25. }
  26. /*No:TYPE_EXPANDED.is_anchored*/
  27. /*No:TYPE_EXPANDED.is_array*/
  28. int r523is_a(T523* C,T0* a1){
  29. int R=0;
  30. R=((((T523*)C))->_run_time_mark/*16*/)==((void*)(X291run_time_mark(a1)));
  31. /*IF*/if (!(R)) {
  32. r683add_type((T0*)C,((T0*)ms71_470));
  33. r683add_type(a1,((T0*)ms67_470));
  34. }
  35. /*FI*/return R;
  36. }
  37. void r523jvm_to_reference(T523* C){
  38. X291jvm_to_reference((((T523*)C))->_run_type/*20*/);
  39. }
  40. int r523is_pointer(T523* C){
  41. int R=0;
  42. R=X291is_pointer((((T523*)C))->_mapped/*12*/);
  43. return R;
  44. }
  45. /*No:TYPE_EXPANDED.run_type*/
  46. int r523is_dummy_expanded(T523* C){
  47. int R=0;
  48. /*IF*/if (r523is_user_expanded(C)) {
  49. R=(r355writable_attributes(((T355*)(r523run_class(C)))))==((void*)(NULL));
  50. }
  51. /*FI*/return R;
  52. }
  53. int r523jvm_push_default(T523* C){
  54. int R=0;
  55. T0* _rc=NULL;
  56. _rc=r523run_class(C);
  57. /*IF*/if (X291is_basic_eiffel_expanded((((T355*)((T355*)_rc)))->_current_type/*0*/)) {
  58. R=X291jvm_push_default((((T355*)((T355*)_rc)))->_current_type/*0*/);
  59. }
  60. else {
  61. r355jvm_expanded_push_default(((T355*)_rc));
  62. R=1;
  63. }
  64. /*FI*/return R;
  65. }
  66. /*No:TYPE_EXPANDED.is_string*/
  67. /*No:TYPE_EXPANDED.is_like_feature*/
  68. T0* r523compute_mark(T0* a1){
  69. T0* R=NULL;
  70. r7copy(((T7*)(oBC523tmp_written_mark)),((T0*)ms14_470));
  71. r7extend(((T7*)(oBC523tmp_written_mark)),'\40');
  72. r7append(((T7*)(oBC523tmp_written_mark)),a1);
  73. R=r902item(oBC523tmp_written_mark);
  74. return R;
  75. }
  76. /*No:TYPE_EXPANDED.is_like_current*/
  77. void r523make(T523* C,T0* a1,T0* a2){
  78. C->_start_position=a1;
  79. C->_mapped=a2;
  80. C->_written_mark=r523compute_mark(X291written_mark((((T523*)C))->_mapped/*12*/));
  81. }
  82. T0* r523jvm_root_class(void){
  83. if (fBC364jvm_root_class==0){
  84. T0* R=NULL;
  85. fBC364jvm_root_class=1;
  86. {T7*n=malloc(sizeof(*n));
  87. *n=M7;
  88. r7make(n,12);
  89. R=(T0*)n;
  90. }
  91. r7copy(((T7*)R),(((T228*)((T228*)(oBC364jvm))))->_output_name/*16*/);
  92. r7extend(((T7*)R),'\57');
  93. r7append(((T7*)R),((T0*)ms112_470));
  94. oBC364jvm_root_class=R;}
  95. return oBC364jvm_root_class;}
  96. /*No:TYPE_EXPANDED.jvm_return_code*/
  97. /*No:TYPE_EXPANDED.jvm_xnewarray*/
  98. /*No:TYPE_EXPANDED.jvm_descriptor_in*/
  99. /*No:TYPE_EXPANDED.start_position*/
  100. /*No:TYPE_EXPANDED.fz_inako*/
  101. int r523is_user_expanded(T523* C){
  102. int R=0;
  103. /*IF*/if (X291is_basic_eiffel_expanded((((T523*)C))->_mapped/*12*/)) {
  104. }
  105. else {
  106. R=1;
  107. }
  108. /*FI*/return R;
  109. }
  110. int r523is_character(T523* C){
  111. int R=0;
  112. R=X291is_character((((T523*)C))->_mapped/*12*/);
  113. return R;
  114. }
  115. /*No:TYPE_EXPANDED.written_mark*/
  116. /*No:TYPE_EXPANDED.is_run_type*/
  117. T0* r523to_runnable(T523* C,T0* a1){
  118. T0* R=NULL;
  119. T0* _m=NULL;
  120. /*IF*/if (((((T523*)C))->_run_type/*20*/)==((void*)(C))) {
  121. R=(T0*)C;
  122. }
  123.  else if (((((T523*)C))->_run_type/*20*/)==((void*)((((T523*)C))->_mapped/*12*/))) {
  124. R=(T0*)C;
  125. }
  126. else {
  127. _m=X291to_runnable((((T523*)C))->_mapped/*12*/,a1);
  128. /*IF*/if ((_m)==((void*)(NULL))) {
  129. r683add_position((((T523*)C))->_start_position/*4*/);
  130. /*[IRF3.6fatal_error*/{T0* b1=((T0*)ms1_523);
  131. r683fatal_error(((T683*)(oBC364eh)),b1);
  132. }/*]*/
  133. }
  134. /*FI*//*IF*/if (((((T523*)C))->_run_type/*20*/)!=((void*)(NULL))) {
  135. {T523*n=malloc(sizeof(*n));
  136. *n=M523;
  137. r523from_other(n,(T0*)C,X291run_type(_m));
  138. R=(T0*)n;
  139. }
  140. }
  141.  else if (X291is_expanded(_m)) {
  142. C->_run_type=_m;
  143. C->_run_time_mark=X291run_time_mark(_m);
  144. R=(T0*)C;
  145. }
  146.  else if (((((T523*)C))->_mapped/*12*/)==((void*)(X291run_type(_m)))) {
  147. C->_run_time_mark=r523compute_mark(X291run_time_mark(_m));
  148. C->_run_type=(T0*)C;
  149. R=(T0*)C;
  150. }
  151. else {
  152. C->_run_time_mark=r523compute_mark(X291run_time_mark(_m));
  153. {T523*n=malloc(sizeof(*n));
  154. *n=M523;
  155. r523from_other(n,(T0*)C,X291run_type(_m));
  156. C->_run_type=(T0*)n;
  157. }
  158. R=(T0*)C;
  159. }
  160. /*FI*/r355set_at_run_time(((T355*)(X291run_class((((T523*)((T523*)R)))->_run_type/*20*/))));
  161. }
  162. /*FI*/return R;
  163. }
  164. /*No:TYPE_EXPANDED.is_formal_generic*/
  165. T0* r523generic_list(T523* C){
  166. T0* R=NULL;
  167. R=X291generic_list((((T523*)C))->_mapped/*12*/);
  168. return R;
  169. }
  170. int r523is_real(T523* C){
  171. int R=0;
  172. R=X291is_real((((T523*)C))->_mapped/*12*/);
  173. return R;
  174. }
  175. void r523standard_jvm_check_class_invariant(T523* C){
  176. /*IF*/if (r590invariant_check(((T590*)(oBC364run_control)))) {
  177. r355jvm_check_class_invariant(((T355*)(r523run_class(C))));
  178. }
  179. /*FI*/}
  180. int r523is_bit(T523* C){
  181. int R=0;
  182. R=X291is_bit((((T523*)C))->_mapped/*12*/);
  183. return R;
  184. }
  185. /*No:TYPE_EXPANDED.jvm_check_class_invariant*/
  186. T0* r523jvm_root_descriptor(void){
  187. if (fBC364jvm_root_descriptor==0){
  188. T0* R=NULL;
  189. fBC364jvm_root_descriptor=1;
  190. {T7*n=malloc(sizeof(*n));
  191. *n=M7;
  192. r7make(n,12);
  193. R=(T0*)n;
  194. }
  195. r7extend(((T7*)R),'L');
  196. r7append(((T7*)R),r523jvm_root_class());
  197. r7extend(((T7*)R),'\73');
  198. oBC364jvm_root_descriptor=R;}
  199. return oBC364jvm_root_descriptor;}
  200. /*No:TYPE_EXPANDED.jvm_xaload*/
  201. T0* r523smallest_ancestor(T523* C,T0* a1){
  202. T0* R=NULL;
  203. /*IF*/if (((((T523*)C))->_run_time_mark/*16*/)==((void*)(X291run_time_mark(a1)))) {
  204. R=(((T523*)C))->_run_type/*20*/;
  205. }
  206. else {
  207. R=X291run_type(X291smallest_ancestor((((T523*)C))->_mapped/*12*/,a1));
  208. }
  209. /*FI*/return R;
  210. }
  211. int r523is_boolean(T523* C){
  212. int R=0;
  213. R=X291is_boolean((((T523*)C))->_mapped/*12*/);
  214. return R;
  215. }
  216. int r523is_double(T523* C){
  217. int R=0;
  218. R=X291is_double((((T523*)C))->_mapped/*12*/);
  219. return R;
  220. }
  221. int r523jvm_stack_space(T523* C){
  222. int R=0;
  223. /*IF*/if (r523is_double(C)) {
  224. R=2;
  225. }
  226. else {
  227. R=1;
  228. }
  229. /*FI*/return R;
  230. }
  231. T0* r523run_class(T523* C){
  232. T0* R=NULL;
  233. R=r604run_class((((T523*)C))->_run_type/*20*/);
  234. return R;
  235. }
  236. /*No:TYPE_EXPANDED.run_time_mark*/
  237. /*No:TYPE_EXPANDED.mapped*/
  238. int r523is_a_in(T523* C,T0* a1,T0* a2){
  239. int R=0;
  240. T0* _ct=NULL;
  241. T0* _t2=NULL;
  242. T0* _t1=NULL;
  243. /*IF*/if (((((T523*)C))->_written_mark/*8*/)==((void*)(X291written_mark(a1)))) {
  244. R=1;
  245. }
  246. else {
  247. _ct=(((T355*)((T355*)a2)))->_current_type/*0*/;
  248. _t1=r523to_runnable(C,_ct);
  249. _t2=X291to_runnable(a1,_ct);
  250. /*IF*/if ((X291run_time_mark(_t1))==((void*)(X291run_time_mark(_t2)))) {
  251. R=1;
  252. }
  253. else {
  254. R=X291is_a(_t1,_t2);
  255. }
  256. /*FI*/}
  257. /*FI*/return R;
  258. }
  259. T0* r523look_up_for(T523* C,T0* a1,T0* a2){
  260. T0* R=NULL;
  261. R=r605look_up_for(((T605*)(r523base_class(C))),a1,a2);
  262. return R;
  263. }
  264. int r523jvm_convert_to(T523* C,T0* a1){
  265. int R=0;
  266. /*IF*/if (X291is_reference(a1)) {
  267. r523jvm_to_reference(C);
  268. }
  269. /*FI*/R=1;
  270. return R;
  271. }
  272. T0* r523expanded_initializer(T523* C){
  273. T0* R=NULL;
  274. R=r605expanded_initializer(((T605*)(r523base_class(C))),(T0*)C);
  275. return R;
  276. }
  277. /*No:TYPE_EXPANDED.fz_jvm_root*/
  278. /*No:TYPE_EXPANDED.jvm_if_x_ne*/
  279. /*No:TYPE_EXPANDED.fz_dot*/
  280. int r523is_generic(T523* C){
  281. int R=0;
  282. R=X291is_generic((((T523*)C))->_mapped/*12*/);
  283. return R;
  284. }
  285. void r523jvm_write_local(T523* C,int a1){
  286. T0* _rc=NULL;
  287. _rc=r523run_class(C);
  288. /*IF*/if (X291is_basic_eiffel_expanded((((T355*)((T355*)_rc)))->_current_type/*0*/)) {
  289. X291jvm_write_local((((T355*)((T355*)_rc)))->_current_type/*0*/,a1);
  290. }
  291. else {
  292. r355jvm_expanded_write_local(((T355*)(r523run_class(C))),a1);
  293. }
  294. /*FI*/}
  295. void r523jvm_initialize_local(T523* C,int a1){
  296. T0* _rc=NULL;
  297. _rc=r523run_class(C);
  298. /*IF*/if (X291is_basic_eiffel_expanded((((T355*)((T355*)_rc)))->_current_type/*0*/)) {
  299. X291jvm_initialize_local((((T355*)((T355*)_rc)))->_current_type/*0*/,a1);
  300. }
  301. else {
  302. r355jvm_expanded_push_default(((T355*)(r523run_class(C))));
  303. r523jvm_write_local(C,a1);
  304. }
  305. /*FI*/}
  306. /*No:TYPE_EXPANDED.used_as_reference*/
  307. /*No:TYPE_EXPANDED.is_reference*/
  308. T0* r523base_class(T523* C){
  309. T0* R=NULL;
  310. T0* _bcn=NULL;
  311. _bcn=r523base_class_name(C);
  312. /*IF*/if ((_bcn)!=((void*)(NULL))) {
  313. R=r451base_class(((T451*)_bcn));
  314. }
  315. else {
  316. /*[IRF3.6append*/{T0* b1=((T0*)ms3_291);
  317. r7append(((T7*)(oBC683explanation)),b1);
  318. }/*]*/
  319. r683add_type((T0*)C,((T0*)ms67_470));
  320. r683print_as_fatal_error(((T683*)(oBC364eh)));
  321. }
  322. /*FI*/return R;
  323. }
  324. /*No:TYPE_EXPANDED.jvm_xastore*/
  325. void r523from_other(T523* C,T0* a1,T0* a2){
  326. C->_start_position=(((T523*)((T523*)a1)))->_start_position/*4*/;
  327. C->_written_mark=(((T523*)((T523*)a1)))->_written_mark/*8*/;
  328. C->_mapped=a2;
  329. /*IF*/if (X291is_expanded((((T523*)C))->_mapped/*12*/)) {
  330. C->_run_time_mark=X291run_time_mark((((T523*)C))->_mapped/*12*/);
  331. C->_run_type=(((T523*)C))->_mapped/*12*/;
  332. }
  333. else {
  334. C->_run_time_mark=r523compute_mark(X291run_time_mark((((T523*)C))->_mapped/*12*/));
  335. C->_run_type=(T0*)C;
  336. }
  337. /*FI*/}
  338. /*No:TYPE_EXPANDED.fatal_error*/
  339. /*No:TYPE_EXPANDED.is_any*/
  340. int r523jvm_method_flags(T523* C){
  341. int R=0;
  342. /*IF*/if ((r355writable_attributes(((T355*)(r523run_class(C)))))==((void*)(NULL))) {
  343. R=9;
  344. }
  345. else {
  346. R=17;
  347. }
  348. /*FI*/return R;
  349. }
  350. T0* r523base_class_name(T523* C){
  351. T0* R=NULL;
  352. R=X291base_class_name((((T523*)C))->_mapped/*12*/);
  353. return R;
  354. }
  355. /*No:TYPE_EXPANDED.jvm_push_local*/
  356. /*No:TYPE_EXPANDED.is_expanded*/
  357. /*No:TYPE_EXPANDED.fz_expanded*/
  358. int r523is_basic_eiffel_expanded(T523* C){
  359. int R=0;
  360. /*IF*/if (((((T523*)C))->_run_type/*20*/)==((void*)((((T523*)C))->_mapped/*12*/))) {
  361. R=X291is_basic_eiffel_expanded((((T523*)C))->_mapped/*12*/);
  362. }
  363. /*FI*/return R;
  364. }
  365. /*No:TYPE_EXPANDED.is_none*/
  366. int r523is_integer(T523* C){
  367. int R=0;
  368. R=X291is_integer((((T523*)C))->_mapped/*12*/);
  369. return R;
  370. }
  371. T0* r805add_comment(T805* C,T0* a1){
  372. T0* R=NULL;
  373. /*IF*/if (((a1)==((void*)(NULL)))||((/*(IRF4.6count*/r52count(((T52*)((((T393*)((T393*)a1)))->_list/*4*/)))/*)*/)==(0))) {
  374. R=(T0*)C;
  375. }
  376. else {
  377. {T529*n=malloc(sizeof(*n));
  378. *n=M529;
  379. r529make(n,(T0*)C,a1);
  380. R=(T0*)n;
  381. }
  382. }
  383. /*FI*/return R;
  384. }
  385. int r805to_integer(T805* C){
  386. int R=0;
  387. r805error((((T805*)C))->_start_position/*12*/,((T0*)ms69_470));
  388. return R;
  389. }
  390. int r805fieldref_idx(T805* C){
  391. int R=0;
  392. R=r95idx_fieldref_for_manifest_string(((T95*)(oBC364constant_pool)),(((T805*)C))->_mapping_c/*32*/);
  393. return R;
  394. }
  395. int r805is_a(T805* C,T0* a1){
  396. int R=0;
  397. R=X291is_a(/*(IRF4.4run_type*/((T0*)((T491*)/*(IRF4.8result_type*/r805type_string()/*)*/))/*)*/,X291run_type(X662result_type(a1)));
  398. /*IF*/if (!(R)) {
  399. r683add_position((((T805*)C))->_start_position/*12*/);
  400. r805error(X662start_position(a1),((T0*)ms4_662));
  401. }
  402. /*FI*/return R;
  403. }
  404. void r805from_manifest_string(T805* C,T0* a1,int a2){
  405. *((T805*)(C))=*((T805*)(a1));
  406. C->_mapping_c=r7twin(((T7*)((((T805*)((T805*)a1)))->_mapping_c/*32*/)));
  407. r7extend(((T7*)((((T805*)C))->_mapping_c/*32*/)),'\137');
  408. r2append_in(a2,(((T805*)C))->_mapping_c/*32*/);
  409. }
  410. /*No:MANIFEST_STRING.is_current*/
  411. /*No:MANIFEST_STRING.jvm_branch_if_false*/
  412. /*No:MANIFEST_STRING.static_value*/
  413. void r805make(T805* C,T0* a1,int a2){
  414. C->_start_position=a1;
  415. {T7*n=malloc(sizeof(*n));
  416. *n=M7;
  417. r7make(n,0);
  418. C->_to_string=(T0*)n;
  419. }
  420. {T7*n=malloc(sizeof(*n));
  421. *n=M7;
  422. r7make(n,12);
  423. C->_mapping_c=(T0*)n;
  424. }
  425. r7copy(((T7*)((((T805*)C))->_mapping_c/*32*/)),((T0*)ms1_805));
  426. r2append_in(a2,(((T805*)C))->_mapping_c/*32*/);
  427. }
  428. /*No:MANIFEST_STRING.to_string*/
  429. /*No:MANIFEST_STRING.compile_to_jvm_assignment*/
  430. T0* r805type_string(void){
  431. if (fBC364type_string==0){
  432. T0* R=NULL;
  433. fBC364type_string=1;
  434. {T491*n=malloc(sizeof(*n));
  435. *n=M491;
  436. r491make(n,NULL);
  437. R=(T0*)n;
  438. }
  439. oBC364type_string=R;}
  440. return oBC364type_string;}
  441. /*No:MANIFEST_STRING.fz_iinaiv*/
  442. /*No:MANIFEST_STRING.break*/
  443. /*No:MANIFEST_STRING.jvm_branch_if_true*/
  444. /*No:MANIFEST_STRING.add*/
  445. /*No:MANIFEST_STRING.start_position*/
  446. /*No:MANIFEST_STRING.compile_to_jvm_old*/
  447. T0* r805to_runnable(T805* C,T0* a1){
  448. T0* R=NULL;
  449. T0* _dummy=NULL;
  450. T0* _bc=NULL;
  451. _dummy=r491to_runnable(((T491*)(r805type_string())),a1);
  452. /*IF*/if (((((T805*)C))->_current_type/*8*/)==((void*)(NULL))) {
  453. C->_current_type=a1;
  454. r7extend(((T7*)((((T805*)C))->_mapping_c/*32*/)),'\137');
  455. _bc=r627base_class(((T627*)((((T805*)C))->_start_position/*12*/)));
  456. r2append_in((((T605*)((T605*)_bc)))->_id/*0*/,(((T805*)C))->_mapping_c/*32*/);
  457. r355set_at_run_time(((T355*)(r491run_class(((T491*)(/*(IRF4.8result_type*/r805type_string()/*)*/))))));
  458. r340add_last((T0*)C);
  459. R=(T0*)C;
  460. }
  461. else {
  462. R=r805twin(C);
  463. /*[IRF3.3set_current_type*/((((T805*)(((T805*)R))))->_current_type)=(a1);
  464. /*]*/
  465. }
  466. /*FI*/return R;
  467. }
  468. /*No:MANIFEST_STRING.ascii*/
  469. /*No:MANIFEST_STRING.percent*/
  470. /*No:MANIFEST_STRING.result_type*/
  471. /*No:MANIFEST_STRING.is_result*/
  472. T0* r805twin(T805* C){
  473. T0* R=NULL;
  474. R=malloc(sizeof(*C));
  475. *((T805*)R)=*C;
  476. return R;
  477. }
  478. /*No:MANIFEST_STRING.set_current_type*/
  479. void r805add_ascii(T805* C,char a1){
  480. r7extend(((T7*)((((T805*)C))->_to_string/*16*/)),a1);
  481. /*IF*/if (((((T805*)C))->_ascii/*24*/)==((void*)(NULL))) {
  482. C->_ascii=se_ma429(1,(((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/);
  483. }
  484. else {
  485. r429add_last(((T429*)((((T805*)C))->_ascii/*24*/)),(((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/);
  486. }
  487. /*FI*/}
  488. /*No:MANIFEST_STRING.is_static*/
  489. int r805compile_to_jvm_into(T805* C,T0* a1){
  490. int R=0;
  491. R=1;
  492. r805compile_to_jvm(C);
  493. return R;
  494. }
  495. void r805compile_target_to_jvm(T805* C){
  496. int _idx=0;
  497. _idx=r805fieldref_idx(C);
  498. r256opcode_getstatic(((T256*)(oBC364code_attribute)),_idx,1);
  499. }
  500. /*No:MANIFEST_STRING.can_be_dropped*/
  501. /*No:MANIFEST_STRING.current_type*/
  502. /*No:MANIFEST_STRING.jvm_assign*/
  503. /*No:MANIFEST_STRING.static_value_mem*/
  504. /*No:MANIFEST_STRING.is_manifest_string*/
  505. /*No:MANIFEST_STRING.is_void*/
  506. void r805compile_to_jvm(T805* C){
  507. int _idx=0;
  508. _idx=r805fieldref_idx(C);
  509. r256opcode_getstatic(((T256*)(oBC364code_attribute)),_idx,1);
  510. }
  511. /*No:MANIFEST_STRING.is_pre_computable*/
  512. /*No:MANIFEST_STRING.use_current*/
  513. void r805add_percent(T805* C,char a1){
  514. r7extend(((T7*)((((T805*)C))->_to_string/*16*/)),a1);
  515. /*IF*/if (((((T805*)C))->_percent/*28*/)==((void*)(NULL))) {
  516. C->_percent=se_ma429(1,(((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/);
  517. }
  518. else {
  519. r429add_last(((T429*)((((T805*)C))->_percent/*28*/)),(((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/);
  520. }
  521. /*FI*/}
  522. void r805error(T0* a1,T0* a2){
  523. r683add_position(a1);
  524. r683error(((T683*)(oBC364eh)),a2);
  525. }
  526. /*No:MANIFEST_STRING.isa_dca_inline_argument*/
  527. /*No:MANIFEST_STRING.mapping_c*/
  528. /*No:MANIFEST_STRING.afd_check*/
  529. void r805break_line(T805* C){
  530. /*IF*/if (((((T805*)C))->_break/*20*/)==((void*)(NULL))) {
  531. C->_break=se_ma429(1,((((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/)+(1));
  532. }
  533. else {
  534. r429add_last(((T429*)((((T805*)C))->_break/*20*/)),((((T7*)((T7*)((((T805*)C))->_to_string/*16*/))))->_count/*4*/)+(1));
  535. }
  536. /*FI*/}
  537. /*No:NATIVE_SMALL_EIFFEL.us_put*/
  538. /*No:NATIVE_SMALL_EIFFEL.us_character_bits*/
  539. /*No:NATIVE_SMALL_EIFFEL.us_minimum_integer*/
  540. /*No:NATIVE_SMALL_EIFFEL.us_integer*/
  541. /*No:NATIVE_SMALL_EIFFEL.us_copy*/
  542. /*No:NATIVE_SMALL_EIFFEL.us_generator*/
  543. /*No:NATIVE_SMALL_EIFFEL.us_maximum_integer*/
  544. /*No:NATIVE_SMALL_EIFFEL.us_minimum_character_code*/
  545. /*No:NATIVE_SMALL_EIFFEL.us_standard_copy*/
  546. void r85jvm_mapping_native_array_function(T0* a1,T0* a2){
  547. T0* _ca=NULL;
  548. int _point2=0;
  549. int _point1=0;
  550. int _loc1=0;
  551. T0* _rc=NULL;
  552. int _space=0;
  553. T0* _elt_type=NULL;
  554. _elt_type=X291run_type(r701item(((T701*)(X291generic_list((((T892*)((T892*)a1)))->_current_type/*4*/))),1));
  555. /*IF*/if ((((T0*)ms70_473))==((void*)(a2))) {
  556. r228drop_target(((T228*)(oBC364jvm)));
  557. _space=X291jvm_stack_space(_elt_type);
  558. r256opcode_push_integer(((T256*)(oBC364code_attribute)),_space);
  559. }
  560.  else if ((((T0*)ms86_473))==((void*)(a2))) {
  561. r228push_target(((T228*)(oBC364jvm)));
  562. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  563. X291jvm_xaload(_elt_type);
  564. }
  565.  else if ((((T0*)ms54_473))==((void*)(a2))) {
  566. r228drop_target(((T228*)(oBC364jvm)));
  567. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  568. X291jvm_xnewarray(_elt_type);
  569. /*IF*/if ((X291is_user_expanded(_elt_type))&&(!(X291is_dummy_expanded(_elt_type)))) {
  570. _ca=oBC364code_attribute;
  571. _rc=X291run_class(_elt_type);
  572. _loc1=r256extra_local_size1(((T256*)_ca));
  573. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  574. /*]*/
  575. /*[IRF3.4opcode_arraylength*/r256opcode(((T256*)_ca),190,0);
  576. /*]*/
  577. r256opcode_istore(((T256*)_ca),_loc1);
  578. _point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
  579. r256opcode_iload(((T256*)_ca),_loc1);
  580. _point2=r256opcode_ifle(((T256*)_ca));
  581. r256opcode_iinc(((T256*)_ca),_loc1,255);
  582. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  583. /*]*/
  584. r256opcode_iload(((T256*)_ca),_loc1);
  585. r355jvm_expanded_push_default(((T355*)_rc));
  586. /*[IRF3.4opcode_aastore*/r256opcode(((T256*)_ca),83,-(3));
  587. /*]*/
  588. r256opcode_goto_backward(((T256*)_ca),_point1);
  589. r256resolve_u2_branch(_point2);
  590. }
  591. /*FI*/}
  592.  else if ((a2)==((void*)(((T0*)ms77_473)))) {
  593. r228drop_target(((T228*)(oBC364jvm)));
  594. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  595. }
  596. else {
  597. r85fe_nyi(a1);
  598. }
  599. /*FI*/}
  600. /*No:NATIVE_SMALL_EIFFEL.us_maximum_character_code*/
  601. /*No:NATIVE_SMALL_EIFFEL.us_minimum_real*/
  602. /*No:NATIVE_SMALL_EIFFEL.us_sprintf_double*/
  603. void r85jvm_add_method_for_procedure(T0* a1,T0* a2,T0* a3){
  604. /*IF*/if ((((T0*)ms119_473))==((void*)(a3))) {
  605. r228add_method(a1);
  606. }
  607.  else if ((((T0*)ms114_473))==((void*)(a3))) {
  608. r228add_method(a1);
  609. }
  610.  else if ((((T0*)ms113_473))==((void*)(a3))) {
  611. r228add_method(a1);
  612. }
  613. /*FI*/}
  614. /*No:NATIVE_SMALL_EIFFEL.us_maximum_real*/
  615. /*No:NATIVE_SMALL_EIFFEL.us_backslash_backslash*/
  616. /*No:NATIVE_SMALL_EIFFEL.us_and*/
  617. /*No:NATIVE_SMALL_EIFFEL.us_put_0*/
  618. /*No:NATIVE_SMALL_EIFFEL.us_from_pointer*/
  619. void r85jvm_define_se_remove(T0* a1){
  620. T0* _ca=NULL;
  621. T0* _cp=NULL;
  622. int _loc1=0;
  623. int _idx=0;
  624. _cp=oBC364constant_pool;
  625. _ca=oBC364code_attribute;
  626. r906jvm_opening(((T906*)a1));
  627. _idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
  628. r256opcode_new(((T256*)_ca),_idx);
  629. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  630. /*]*/
  631. /*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
  632. /*]*/
  633. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  634. /*]*/
  635. /*[IRF3.4opcode_aload_1*/r256opcode(((T256*)_ca),43,1);
  636. /*]*/
  637. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
  638. r256opcode_invokespecial(((T256*)_ca),_idx,-(4));
  639. _loc1=r256extra_local_size1(((T256*)_ca));
  640. r256opcode_istore(((T256*)_ca),_loc1);
  641. _idx=r95idx_class2(((T95*)_cp),((T0*)ms211_470));
  642. r256opcode_new(((T256*)_ca),_idx);
  643. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  644. /*]*/
  645. r256opcode_aload(((T256*)_ca),_loc1);
  646. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms167_470),((T0*)ms183_470));
  647. r256opcode_invokespecial(((T256*)_ca),_idx,0);
  648. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms237_470),((T0*)ms213_470));
  649. r256opcode_invokevirtual(((T256*)_ca),_idx,0);
  650. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  651. /*]*/
  652. r906jvm_closing(((T906*)a1));
  653. }
  654. void r85jvm_define_se_rename(T0* a1){
  655. T0* _ca=NULL;
  656. T0* _cp=NULL;
  657. int _loc2=0;
  658. int _loc1=0;
  659. int _idx=0;
  660. _cp=oBC364constant_pool;
  661. _ca=oBC364code_attribute;
  662. r906jvm_opening(((T906*)a1));
  663. _idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
  664. r256opcode_new(((T256*)_ca),_idx);
  665. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  666. /*]*/
  667. /*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
  668. /*]*/
  669. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  670. /*]*/
  671. /*[IRF3.4opcode_aload_1*/r256opcode(((T256*)_ca),43,1);
  672. /*]*/
  673. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
  674. r256opcode_invokespecial(((T256*)_ca),_idx,-(4));
  675. _loc1=r256extra_local_size1(((T256*)_ca));
  676. r256opcode_istore(((T256*)_ca),_loc1);
  677. _idx=r95idx_class2(((T95*)_cp),((T0*)ms211_470));
  678. r256opcode_new(((T256*)_ca),_idx);
  679. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  680. /*]*/
  681. r256opcode_aload(((T256*)_ca),_loc1);
  682. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms167_470),((T0*)ms183_470));
  683. r256opcode_invokespecial(((T256*)_ca),_idx,0);
  684. r256opcode_istore(((T256*)_ca),_loc1);
  685. _idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
  686. r256opcode_new(((T256*)_ca),_idx);
  687. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  688. /*]*/
  689. r256opcode_aload(((T256*)_ca),4);
  690. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  691. /*]*/
  692. /*[IRF3.4opcode_aload_3*/r256opcode(((T256*)_ca),45,1);
  693. /*]*/
  694. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
  695. r256opcode_invokespecial(((T256*)_ca),_idx,-(4));
  696. _loc2=r256extra_local_size1(((T256*)_ca));
  697. r256opcode_istore(((T256*)_ca),_loc2);
  698. _idx=r95idx_class2(((T95*)_cp),((T0*)ms211_470));
  699. r256opcode_new(((T256*)_ca),_idx);
  700. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  701. /*]*/
  702. r256opcode_aload(((T256*)_ca),_loc2);
  703. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms167_470),((T0*)ms183_470));
  704. r256opcode_invokespecial(((T256*)_ca),_idx,0);
  705. r256opcode_istore(((T256*)_ca),_loc2);
  706. r256opcode_aload(((T256*)_ca),_loc1);
  707. r256opcode_aload(((T256*)_ca),_loc2);
  708. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms238_470),((T0*)ms239_470));
  709. r256opcode_invokevirtual(((T256*)_ca),_idx,0);
  710. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  711. /*]*/
  712. r906jvm_closing(((T906*)a1));
  713. }
  714. /*No:NATIVE_SMALL_EIFFEL.us_pointer_bits*/
  715. /*No:NATIVE_SMALL_EIFFEL.us_double_floor*/
  716. /*No:NATIVE_SMALL_EIFFEL.us_slash_slash*/
  717. /*No:NATIVE_SMALL_EIFFEL.us_integer_bits*/
  718. void r85jvm_standard_is_equal_aux(T0* a1,T0* a2){
  719. int _i=0;
  720. int _space=0;
  721. int _idx=0;
  722. int _point2=0;
  723. int _point1=0;
  724. T0* _rf2=NULL;
  725. T0* _ca=NULL;
  726. _ca=oBC364code_attribute;
  727. /*IF*/if ((a2)==((void*)(NULL))) {
  728. /*IF*/if (X291is_expanded((((T355*)((T355*)a1)))->_current_type/*0*/)) {
  729. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  730. /*]*/
  731. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  732. /*]*/
  733. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  734. /*]*/
  735. }
  736. else {
  737. /*[IRF3.4opcode_swap*/r256opcode(((T256*)_ca),95,0);
  738. /*]*/
  739. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  740. /*]*/
  741. _idx=r355fully_qualified_constant_pool_index(((T355*)a1));
  742. r256opcode_instanceof(((T256*)_ca),_idx);
  743. }
  744. /*FI*/}
  745. else {
  746. /*[IRF3.3clear*/((((T226*)(((T226*)(oBC256branches)))))->_upper)=(-(1));
  747. /*]*/
  748. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  749. /*]*/
  750. _idx=r355fully_qualified_constant_pool_index(((T355*)a1));
  751. r256opcode_instanceof(((T256*)_ca),_idx);
  752. r226add_last(((T226*)(oBC256branches)),r256opcode_ifeq(((T256*)_ca)));
  753. _i=(((T280*)((T280*)a2)))->_upper/*12*/;
  754. while (!((_i)==(0))) {
  755. _rf2=r280item(((T280*)a2),_i);
  756. _idx=r95idx_fieldref(((T95*)(oBC364constant_pool)),_rf2);
  757. _space=(X291jvm_stack_space((((T820*)((T820*)_rf2)))->_result_type/*24*/))-(1);
  758. /*IF*/if ((_i)>(1)) {
  759. /*[IRF3.4opcode_dup2*/r256opcode(((T256*)_ca),92,2);
  760. /*]*/
  761. }
  762. /*FI*/r256opcode_getfield(((T256*)_ca),_idx,_space);
  763. /*IF*/if ((_space)==(0)) {
  764. /*[IRF3.4opcode_swap*/r256opcode(((T256*)_ca),95,0);
  765. /*]*/
  766. }
  767. else {
  768. /*[IRF3.4opcode_dup2_x1*/r256opcode(((T256*)_ca),93,2);
  769. /*]*/
  770. /*[IRF3.4opcode_pop2*/r256opcode(((T256*)_ca),88,-(2));
  771. /*]*/
  772. }
  773. /*FI*/r256opcode_getfield(((T256*)_ca),_idx,_space);
  774. /*IF*/if ((_i)>(1)) {
  775. r226add_last(((T226*)(oBC256branches)),X291jvm_if_x_ne((((T820*)((T820*)_rf2)))->_result_type/*24*/));
  776. }
  777. else {
  778. _point1=X291jvm_if_x_ne((((T820*)((T820*)_rf2)))->_result_type/*24*/);
  779. }
  780. /*FI*/_i=(_i)-(1);
  781. }
  782. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  783. /*]*/
  784. _point2=r256opcode_goto(((T256*)_ca));
  785. /*[IRF3.2resolve_branches*/r256resolve_with(oBC256branches);
  786. /*]*/
  787. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  788. /*]*/
  789. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  790. /*]*/
  791. r256resolve_u2_branch(_point1);
  792. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  793. /*]*/
  794. r256resolve_u2_branch(_point2);
  795. }
  796. /*FI*/}
  797. /*No:NATIVE_SMALL_EIFFEL.us_stdout*/
  798. /*No:NATIVE_SMALL_EIFFEL.us_put_1*/
  799. /*No:NATIVE_SMALL_EIFFEL.us_item*/
  800. void r85jvm_define_twin(T0* a1,T0* a2,T0* a3){
  801. T0* _rf2=NULL;
  802. T0* _wa=NULL;
  803. int _i=0;
  804. int _space=0;
  805. int _idx=0;
  806. r892jvm_opening(((T892*)a1));
  807. _wa=r355writable_attributes(((T355*)a2));
  808. _idx=r355fully_qualified_constant_pool_index(((T355*)a2));
  809. r256opcode_new(((T256*)(oBC364code_attribute)),_idx);
  810. /*[IRF3.4opcode_astore_1*/r256opcode(((T256*)(oBC364code_attribute)),76,-(1));
  811. /*]*/
  812. /*IF*/if ((_wa)!=((void*)(NULL))) {
  813. _i=(((T280*)((T280*)_wa)))->_upper/*12*/;
  814. while (!((_i)==(0))) {
  815. _rf2=r280item(((T280*)_wa),_i);
  816. /*[IRF3.4opcode_aload_1*/r256opcode(((T256*)(oBC364code_attribute)),43,1);
  817. /*]*/
  818. _idx=r95idx_fieldref(((T95*)(oBC364constant_pool)),_rf2);
  819. _space=X291jvm_push_default((((T820*)((T820*)_rf2)))->_result_type/*24*/);
  820. r256opcode_putfield(((T256*)(oBC364code_attribute)),_idx,-((_space)+(1)));
  821. _i=(_i)-(1);
  822. }
  823. }
  824. /*FI*/r228inside_twin(((T228*)(oBC364jvm)),a3);
  825. r892jvm_closing(((T892*)a1));
  826. }
  827. /*No:NATIVE_SMALL_EIFFEL.us_se_remove*/
  828. /*No:NATIVE_SMALL_EIFFEL.us_flush_stream*/
  829. void r85jvm_mapping_bit_function(T0* a1,T0* a2){
  830. T0* _cp=NULL;
  831. T0* _ca=NULL;
  832. int _loc2=0;
  833. int _loc1=0;
  834. int _point3=0;
  835. int _point2=0;
  836. int _point1=0;
  837. int _idx=0;
  838. int _space=0;
  839. T0* _type_bit=NULL;
  840. _ca=oBC364code_attribute;
  841. _cp=oBC364constant_pool;
  842. _type_bit=(((T892*)((T892*)a1)))->_current_type/*4*/;
  843. if(NULL!=(_type_bit))switch(((T0*)_type_bit)->id) {
  844. case 549: case 558: 
  845. break;
  846. default:
  847. _type_bit=NULL;
  848. };/*IF*/if ((((T0*)ms60_473))==((void*)(a2))) {
  849. r228drop_target(((T228*)(oBC364jvm)));
  850. r256opcode_push_integer(((T256*)_ca),X609nb(_type_bit));
  851. }
  852.  else if ((((T0*)ms86_473))==((void*)(a2))) {
  853. r228push_target(((T228*)(oBC364jvm)));
  854. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  855. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  856. /*]*/
  857. /*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
  858. /*]*/
  859. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms228_470),((T0*)ms229_470));
  860. r256opcode_invokevirtual(((T256*)_ca),_idx,-(1));
  861. }
  862.  else if ((((T0*)ms46_473))==((void*)(a2))) {
  863. r228push_target(((T228*)(oBC364jvm)));
  864. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  865. _loc1=r256extra_local_size1(((T256*)_ca));
  866. _loc2=r256extra_local_size1(((T256*)_ca));
  867. r256opcode_istore(((T256*)_ca),_loc2);
  868. _space=X609jvm_push_default(_type_bit);
  869. /*[IRF3.4opcode_swap*/r256opcode(((T256*)_ca),95,0);
  870. /*]*/
  871. r256opcode_push_integer(((T256*)_ca),X609nb(_type_bit));
  872. r256opcode_istore(((T256*)_ca),_loc1);
  873. r256opcode_iload(((T256*)_ca),_loc1);
  874. r256opcode_iload(((T256*)_ca),_loc2);
  875. /*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
  876. /*]*/
  877. r256opcode_istore(((T256*)_ca),_loc2);
  878. r256opcode_iload(((T256*)_ca),_loc2);
  879. _point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
  880. _point2=r256opcode_ifeq(((T256*)_ca));
  881. r256opcode_iinc(((T256*)_ca),_loc1,255);
  882. r256opcode_iinc(((T256*)_ca),_loc2,255);
  883. /*[IRF3.4opcode_dup2*/r256opcode(((T256*)_ca),92,2);
  884. /*]*/
  885. r256opcode_iload(((T256*)_ca),_loc2);
  886. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms228_470),((T0*)ms229_470));
  887. r256opcode_invokevirtual(((T256*)_ca),_idx,-(1));
  888. _point3=r256opcode_ifne(((T256*)_ca));
  889. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  890. /*]*/
  891. r256opcode_iload(((T256*)_ca),_loc2);
  892. r256opcode_goto_backward(((T256*)_ca),_point1);
  893. r256resolve_u2_branch(_point3);
  894. r256opcode_iload(((T256*)_ca),_loc1);
  895. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms230_470),((T0*)ms159_470));
  896. r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
  897. r256opcode_iload(((T256*)_ca),_loc2);
  898. r256opcode_goto_backward(((T256*)_ca),_point1);
  899. r256resolve_u2_branch(_point2);
  900. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  901. /*]*/
  902. }
  903.  else if ((((T0*)ms45_473))==((void*)(a2))) {
  904. r228push_target(((T228*)(oBC364jvm)));
  905. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  906. _loc1=r256extra_local_size1(((T256*)_ca));
  907. _loc2=r256extra_local_size1(((T256*)_ca));
  908. r256opcode_istore(((T256*)_ca),_loc1);
  909. _space=X609jvm_push_default(_type_bit);
  910. /*[IRF3.4opcode_swap*/r256opcode(((T256*)_ca),95,0);
  911. /*]*/
  912. r256opcode_push_integer(((T256*)_ca),X609nb(_type_bit));
  913. r256opcode_istore(((T256*)_ca),_loc2);
  914. r256opcode_iload(((T256*)_ca),_loc2);
  915. r256opcode_iload(((T256*)_ca),_loc1);
  916. /*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
  917. /*]*/
  918. r256opcode_istore(((T256*)_ca),_loc1);
  919. r256opcode_iload(((T256*)_ca),_loc1);
  920. _point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
  921. _point2=r256opcode_ifeq(((T256*)_ca));
  922. r256opcode_iinc(((T256*)_ca),_loc1,255);
  923. r256opcode_iinc(((T256*)_ca),_loc2,255);
  924. /*[IRF3.4opcode_dup2*/r256opcode(((T256*)_ca),92,2);
  925. /*]*/
  926. r256opcode_iload(((T256*)_ca),_loc2);
  927. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms228_470),((T0*)ms229_470));
  928. r256opcode_invokevirtual(((T256*)_ca),_idx,-(1));
  929. _point3=r256opcode_ifne(((T256*)_ca));
  930. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  931. /*]*/
  932. r256opcode_iload(((T256*)_ca),_loc1);
  933. r256opcode_goto_backward(((T256*)_ca),_point1);
  934. r256resolve_u2_branch(_point3);
  935. r256opcode_iload(((T256*)_ca),_loc1);
  936. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms230_470),((T0*)ms159_470));
  937. r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
  938. r256opcode_iload(((T256*)_ca),_loc1);
  939. r256opcode_goto_backward(((T256*)_ca),_point1);
  940. r256resolve_u2_branch(_point2);
  941. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  942. /*]*/
  943. }
  944.  else if ((((T0*)ms50_473))==((void*)(a2))) {
  945. r228push_target(((T228*)(oBC364jvm)));
  946. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  947. /*]*/
  948. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  949. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms50_473),((T0*)ms236_470));
  950. r256opcode_invokevirtual(((T256*)_ca),_idx,0);
  951. }
  952.  else if ((((T0*)ms41_473))==((void*)(a2))) {
  953. r228push_target(((T228*)(oBC364jvm)));
  954. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  955. /*]*/
  956. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  957. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms41_473),((T0*)ms236_470));
  958. r256opcode_invokevirtual(((T256*)_ca),_idx,0);
  959. }
  960.  else if ((((T0*)ms40_473))==((void*)(a2))) {
  961. r228push_target(((T228*)(oBC364jvm)));
  962. _loc1=r256extra_local_size1(((T256*)_ca));
  963. r256opcode_push_integer(((T256*)_ca),X609nb(_type_bit));
  964. r256opcode_istore(((T256*)_ca),_loc1);
  965. r256opcode_iload(((T256*)_ca),_loc1);
  966. _point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
  967. _point2=r256opcode_ifeq(((T256*)_ca));
  968. r256opcode_iinc(((T256*)_ca),_loc1,255);
  969. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  970. /*]*/
  971. r256opcode_iload(((T256*)_ca),_loc1);
  972. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms228_470),((T0*)ms229_470));
  973. r256opcode_invokevirtual(((T256*)_ca),_idx,-(1));
  974. _point3=r256opcode_ifne(((T256*)_ca));
  975. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  976. /*]*/
  977. r256opcode_iload(((T256*)_ca),_loc1);
  978. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms230_470),((T0*)ms159_470));
  979. r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
  980. r256opcode_iload(((T256*)_ca),_loc1);
  981. r256opcode_goto_backward(((T256*)_ca),_point1);
  982. r256resolve_u2_branch(_point3);
  983. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  984. /*]*/
  985. r256opcode_iload(((T256*)_ca),_loc1);
  986. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms231_470),((T0*)ms159_470));
  987. r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
  988. r256opcode_iload(((T256*)_ca),_loc1);
  989. r256opcode_goto_backward(((T256*)_ca),_point1);
  990. r256resolve_u2_branch(_point2);
  991. }
  992.  else if ((((T0*)ms27_473))==((void*)(a2))) {
  993. r228push_target(((T228*)(oBC364jvm)));
  994. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  995. /*]*/
  996. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  997. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms27_473),((T0*)ms236_470));
  998. r256opcode_invokevirtual(((T256*)_ca),_idx,0);
  999. }
  1000.  else if ((((T0*)ms132_473))==((void*)(a2))) {
  1001. r85jvm_bit_to_int(8);
  1002. }
  1003.  else if ((((T0*)ms134_473))==((void*)(a2))) {
  1004. r85jvm_bit_to_int(32);
  1005. }
  1006. /*FI*/}
  1007. /*No:NATIVE_SMALL_EIFFEL.us_floor*/
  1008. /*No:NATIVE_SMALL_EIFFEL.us_double_bits*/
  1009. /*No:NATIVE_SMALL_EIFFEL.us_is_expanded_type*/
  1010. void r85jvm_mapping_bit_procedure(T0* a1,T0* a2){
  1011. T0* _cp=NULL;
  1012. T0* _ca=NULL;
  1013. int _point2=0;
  1014. int _point1=0;
  1015. int _idx=0;
  1016. int _space=0;
  1017. T0* _type_bit=NULL;
  1018. _ca=oBC364code_attribute;
  1019. _cp=oBC364constant_pool;
  1020. _type_bit=(((T906*)((T906*)a1)))->_current_type/*4*/;
  1021. if(NULL!=(_type_bit))switch(((T0*)_type_bit)->id) {
  1022. case 549: case 558: 
  1023. break;
  1024. default:
  1025. _type_bit=NULL;
  1026. };/*IF*/if ((a2)==((void*)(((T0*)ms105_473)))) {
  1027. r228push_target(((T228*)(oBC364jvm)));
  1028. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  1029. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  1030. /*]*/
  1031. /*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
  1032. /*]*/
  1033. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms231_470),((T0*)ms159_470));
  1034. r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
  1035. }
  1036.  else if ((a2)==((void*)(((T0*)ms106_473)))) {
  1037. r228push_target(((T228*)(oBC364jvm)));
  1038. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  1039. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  1040. /*]*/
  1041. /*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
  1042. /*]*/
  1043. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms230_470),((T0*)ms159_470));
  1044. r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
  1045. }
  1046. else {
  1047. r228push_target(((T228*)(oBC364jvm)));
  1048. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  1049. _space=r228push_ith_argument(((T228*)(oBC364jvm)),2);
  1050. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  1051. /*]*/
  1052. /*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
  1053. /*]*/
  1054. /*[IRF3.4opcode_swap*/r256opcode(((T256*)_ca),95,0);
  1055. /*]*/
  1056. _point1=r256opcode_ifne(((T256*)_ca));
  1057. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms231_470),((T0*)ms159_470));
  1058. r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
  1059. _point2=r256opcode_goto(((T256*)_ca));
  1060. r256resolve_u2_branch(_point1);
  1061. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms230_470),((T0*)ms159_470));
  1062. r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
  1063. r256resolve_u2_branch(_point2);
  1064. }
  1065. /*FI*/}
  1066. /*No:NATIVE_SMALL_EIFFEL.us_ge*/
  1067. void r85jvm_mapping_real_function(T0* a1,T0* a2){
  1068. T0* _ca=NULL;
  1069. int _space=0;
  1070. int _point2=0;
  1071. int _point1=0;
  1072. _ca=oBC364code_attribute;
  1073. /*IF*/if ((r892arg_count(((T892*)a1)))==(1)) {
  1074. r228push_target(((T228*)(oBC364jvm)));
  1075. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  1076. /*IF*/if ((((T0*)ms43_473))==((void*)(a2))) {
  1077. /*[IRF3.4opcode_fadd*/r256opcode(((T256*)_ca),98,-(1));
  1078. /*]*/
  1079. }
  1080.  else if ((((T0*)ms37_473))==((void*)(a2))) {
  1081. /*[IRF3.4opcode_fsub*/r256opcode(((T256*)_ca),102,-(1));
  1082. /*]*/
  1083. }
  1084.  else if ((((T0*)ms38_473))==((void*)(a2))) {
  1085. /*[IRF3.4opcode_fmul*/r256opcode(((T256*)_ca),106,-(1));
  1086. /*]*/
  1087. }
  1088.  else if ((((T0*)ms47_473))==((void*)(a2))) {
  1089. /*[IRF3.4opcode_fdiv*/r256opcode(((T256*)_ca),110,-(1));
  1090. /*]*/
  1091. }
  1092. else {
  1093. /*[IRF3.4opcode_fcmpg*/r256opcode(((T256*)_ca),150,-(1));
  1094. /*]*/
  1095. /*IF*/if ((((T0*)ms33_473))==((void*)(a2))) {
  1096. _point1=r256opcode_ifgt(((T256*)_ca));
  1097. }
  1098.  else if ((((T0*)ms36_473))==((void*)(a2))) {
  1099. _point1=r256opcode_iflt(((T256*)_ca));
  1100. }
  1101.  else if ((((T0*)ms35_473))==((void*)(a2))) {
  1102. _point1=r256opcode_ifle(((T256*)_ca));
  1103. }
  1104.  else if ((((T0*)ms32_473))==((void*)(a2))) {
  1105. _point1=r256opcode_ifge(((T256*)_ca));
  1106. }
  1107. /*FI*//*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  1108. /*]*/
  1109. _point2=r256opcode_goto(((T256*)_ca));
  1110. r256resolve_u2_branch(_point1);
  1111. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  1112. /*]*/
  1113. r256resolve_u2_branch(_point2);
  1114. }
  1115. /*FI*/}
  1116.  else if ((((T0*)ms37_473))==((void*)(a2))) {
  1117. r228push_target(((T228*)(oBC364jvm)));
  1118. /*[IRF3.4opcode_fneg*/r256opcode(((T256*)_ca),118,0);
  1119. /*]*/
  1120. }
  1121.  else if ((((T0*)ms133_473))==((void*)(a2))) {
  1122. r228push_target(((T228*)(oBC364jvm)));
  1123. /*[IRF3.4opcode_f2d*/r256opcode(((T256*)_ca),141,1);
  1124. /*]*/
  1125. }
  1126. /*FI*/}
  1127. /*No:NATIVE_SMALL_EIFFEL.us_stdin*/
  1128. /*No:NATIVE_SMALL_EIFFEL.us_slash*/
  1129. /*No:NATIVE_SMALL_EIFFEL.us_standard_twin*/
  1130. /*No:NATIVE_SMALL_EIFFEL.us_truncated_to_integer*/
  1131. /*No:NATIVE_SMALL_EIFFEL.us_write_byte*/
  1132. /*No:NATIVE_SMALL_EIFFEL.us_stderr*/
  1133. /*No:NATIVE_SMALL_EIFFEL.us_se_system*/
  1134. void r85fe_nyi(T0* a1){
  1135. r683add_position(X496start_position(a1));
  1136. /*[IRF3.6append*/{T0* b1=((T0*)ms85_85);
  1137. r7append(((T7*)(oBC683explanation)),b1);
  1138. }/*]*/
  1139. /*[IRF3.6append*/{T0* b1=X291run_time_mark(/*X496*/((T0*)(((T832*)((T832*)a1)))->_current_type/*4*/));
  1140. r7append(((T7*)(oBC683explanation)),b1);
  1141. }/*]*/
  1142. /*[IRF3.6fatal_error*/{T0* b1=((T0*)ms86_85);
  1143. r683fatal_error(((T683*)(oBC364eh)),b1);
  1144. }/*]*/
  1145. }
  1146. /*No:NATIVE_SMALL_EIFFEL.us_sfr_open*/
  1147. /*No:NATIVE_SMALL_EIFFEL.us_sfw_open*/
  1148. /*No:NATIVE_SMALL_EIFFEL.us_character*/
  1149. void r85jvm_define_sprintf_double(T0* a1){
  1150. T0* _ca=NULL;
  1151. T0* _cp=NULL;
  1152. int _point3=0;
  1153. int _point2=0;
  1154. int _point1=0;
  1155. int _loc2=0;
  1156. int _loc1=0;
  1157. int _idx=0;
  1158. _cp=oBC364constant_pool;
  1159. _ca=oBC364code_attribute;
  1160. r906jvm_opening(((T906*)a1));
  1161. /*[IRF3.4opcode_dload_0*/r256opcode(((T256*)_ca),38,2);
  1162. /*]*/
  1163. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms188_470),((T0*)ms189_470),((T0*)ms190_470));
  1164. r256opcode_invokestatic(((T256*)_ca),_idx,1);
  1165. r256opcode_java_string2bytes_array(((T256*)_ca));
  1166. _loc1=r256extra_local_size1(((T256*)_ca));
  1167. r256opcode_astore(((T256*)_ca),_loc1);
  1168. _loc2=r256extra_local_size1(((T256*)_ca));
  1169. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  1170. /*]*/
  1171. r256opcode_istore(((T256*)_ca),_loc2);
  1172. _point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
  1173. r256opcode_aload(((T256*)_ca),_loc1);
  1174. /*[IRF3.4opcode_arraylength*/r256opcode(((T256*)_ca),190,0);
  1175. /*]*/
  1176. r256opcode_iload(((T256*)_ca),_loc2);
  1177. _point2=r256opcode_if_icmple(((T256*)_ca));
  1178. /*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
  1179. /*]*/
  1180. r256opcode_iload(((T256*)_ca),_loc2);
  1181. r256opcode_aload(((T256*)_ca),_loc1);
  1182. r256opcode_iload(((T256*)_ca),_loc2);
  1183. /*[IRF3.4opcode_baload*/r256opcode(((T256*)_ca),51,-(1));
  1184. /*]*/
  1185. /*[IRF3.4opcode_bastore*/r256opcode(((T256*)_ca),84,-(3));
  1186. /*]*/
  1187. r256opcode_aload(((T256*)_ca),_loc1);
  1188. r256opcode_iload(((T256*)_ca),_loc2);
  1189. /*[IRF3.4opcode_baload*/r256opcode(((T256*)_ca),51,-(1));
  1190. /*]*/
  1191. r256opcode_bipush(((T256*)_ca),((unsigned char)'\56'));
  1192. r256opcode_iinc(((T256*)_ca),_loc2,1);
  1193. _point3=r256opcode_if_icmpeq(((T256*)_ca));
  1194. r256opcode_goto_backward(((T256*)_ca),_point1);
  1195. r256resolve_u2_branch(_point2);
  1196. r256resolve_u2_branch(_point3);
  1197. _point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
  1198. r256opcode_aload(((T256*)_ca),_loc1);
  1199. /*[IRF3.4opcode_arraylength*/r256opcode(((T256*)_ca),190,0);
  1200. /*]*/
  1201. r256opcode_iload(((T256*)_ca),_loc2);
  1202. _point2=r256opcode_if_icmple(((T256*)_ca));
  1203. /*[IRF3.4opcode_iload_3*/r256opcode(((T256*)_ca),29,1);
  1204. /*]*/
  1205. _point3=r256opcode_ifeq(((T256*)_ca));
  1206. /*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
  1207. /*]*/
  1208. r256opcode_iload(((T256*)_ca),_loc2);
  1209. r256opcode_aload(((T256*)_ca),_loc1);
  1210. r256opcode_iload(((T256*)_ca),_loc2);
  1211. /*[IRF3.4opcode_baload*/r256opcode(((T256*)_ca),51,-(1));
  1212. /*]*/
  1213. /*[IRF3.4opcode_bastore*/r256opcode(((T256*)_ca),84,-(3));
  1214. /*]*/
  1215. r256opcode_iinc(((T256*)_ca),_loc2,1);
  1216. r256opcode_iinc(((T256*)_ca),3,255);
  1217. r256opcode_goto_backward(((T256*)_ca),_point1);
  1218. r256resolve_u2_branch(_point2);
  1219. r256resolve_u2_branch(_point3);
  1220. _point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
  1221. /*[IRF3.4opcode_iload_3*/r256opcode(((T256*)_ca),29,1);
  1222. /*]*/
  1223. _point2=r256opcode_ifeq(((T256*)_ca));
  1224. /*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
  1225. /*]*/
  1226. r256opcode_iload(((T256*)_ca),_loc2);
  1227. r256opcode_bipush(((T256*)_ca),((unsigned char)'0'));
  1228. /*[IRF3.4opcode_bastore*/r256opcode(((T256*)_ca),84,-(3));
  1229. /*]*/
  1230. r256opcode_iinc(((T256*)_ca),_loc2,1);
  1231. r256opcode_iinc(((T256*)_ca),3,255);
  1232. r256opcode_goto_backward(((T256*)_ca),_point1);
  1233. r256resolve_u2_branch(_point2);
  1234. /*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
  1235. /*]*/
  1236. r256opcode_iload(((T256*)_ca),_loc2);
  1237. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  1238. /*]*/
  1239. /*[IRF3.4opcode_bastore*/r256opcode(((T256*)_ca),84,-(3));
  1240. /*]*/
  1241. r906jvm_closing(((T906*)a1));
  1242. }
  1243. /*No:NATIVE_SMALL_EIFFEL.us_shift_left*/
  1244. void r85jvm_standard_twin(T0* a1){
  1245. T0* _wa=NULL;
  1246. T0* _rc=NULL;
  1247. /*IF*/if ((X291is_basic_eiffel_expanded(a1))||(r85native_array(a1))) {
  1248. r228push_target(((T228*)(oBC364jvm)));
  1249. }
  1250. else {
  1251. _rc=X291run_class(a1);
  1252. _wa=r355writable_attributes(((T355*)_rc));
  1253. /*IF*/if (X291is_expanded(a1)) {
  1254. /*IF*/if ((_wa)==((void*)(NULL))) {
  1255. r228push_target(((T228*)(oBC364jvm)));
  1256. }
  1257. else {
  1258. r85jvm_standard_twin_aux(_rc,_wa);
  1259. }
  1260. /*FI*/}
  1261. else {
  1262. r85jvm_standard_twin_aux(_rc,_wa);
  1263. }
  1264. /*FI*/}
  1265. /*FI*/}
  1266. /*No:NATIVE_SMALL_EIFFEL.us_le*/
  1267. void r85jvm_add_method_for_function(T0* a1,T0* a2,T0* a3){
  1268. T0* _rf7=NULL;
  1269. T0* _rf=NULL;
  1270. T0* _rc=NULL;
  1271. T0* _ct=NULL;
  1272. /*IF*/if ((((T0*)ms14_473))==((void*)(a2))) {
  1273. /*IF*/if ((((T0*)ms139_473))==((void*)(a3))) {
  1274. _ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
  1275. _rc=X291run_class(_ct);
  1276. _rf=r355get_copy(((T355*)_rc));
  1277. _rf7=_rf;
  1278. if(NULL!=(_rf7))switch(((T0*)_rf7)->id) {
  1279. case 906: 
  1280. break;
  1281. default:
  1282. _rf7=NULL;
  1283. };/*IF*/if ((_rf7)!=((void*)(NULL))) {
  1284. }
  1285. else {
  1286. r228add_method(a1);
  1287. }
  1288. /*FI*/}
  1289.  else if ((((T0*)ms78_473))==((void*)(a3))) {
  1290. r228add_method(a1);
  1291. }
  1292.  else if ((((T0*)ms79_473))==((void*)(a3))) {
  1293. r228add_method(a1);
  1294. }
  1295. /*FI*/}
  1296.  else if ((((T0*)ms118_473))==((void*)(a3))) {
  1297. r228add_method(a1);
  1298. }
  1299.  else if ((((T0*)ms117_473))==((void*)(a3))) {
  1300. r228add_method(a1);
  1301. }
  1302.  else if ((((T0*)ms115_473))==((void*)(a3))) {
  1303. r228add_method(a1);
  1304. }
  1305. /*FI*/}
  1306. /*No:NATIVE_SMALL_EIFFEL.fz_32*/
  1307. /*No:NATIVE_SMALL_EIFFEL.fz_60*/
  1308. /*No:NATIVE_SMALL_EIFFEL.us_bitn*/
  1309. void r85jvm_bit_to_int(int a1){
  1310. T0* _cp=NULL;
  1311. T0* _ca=NULL;
  1312. int _loc2=0;
  1313. int _loc1=0;
  1314. int _point2=0;
  1315. int _point1=0;
  1316. int _idx=0;
  1317. _ca=oBC364code_attribute;
  1318. _cp=oBC364constant_pool;
  1319. r228push_target(((T228*)(oBC364jvm)));
  1320. _loc1=r256extra_local_size1(((T256*)_ca));
  1321. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  1322. /*]*/
  1323. r256opcode_istore(((T256*)_ca),_loc1);
  1324. _loc2=r256extra_local_size1(((T256*)_ca));
  1325. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  1326. /*]*/
  1327. r256opcode_istore(((T256*)_ca),_loc2);
  1328. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  1329. /*]*/
  1330. _point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
  1331. _point2=r256opcode_ifeq(((T256*)_ca));
  1332. r256opcode_iload(((T256*)_ca),_loc2);
  1333. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  1334. /*]*/
  1335. /*[IRF3.4opcode_ishl*/r256opcode(((T256*)_ca),120,-(1));
  1336. /*]*/
  1337. r256opcode_istore(((T256*)_ca),_loc2);
  1338. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  1339. /*]*/
  1340. r256opcode_iload(((T256*)_ca),_loc1);
  1341. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms228_470),((T0*)ms229_470));
  1342. r256opcode_invokevirtual(((T256*)_ca),_idx,-(1));
  1343. r256opcode_iload(((T256*)_ca),_loc2);
  1344. /*[IRF3.4opcode_ior*/r256opcode(((T256*)_ca),128,-(1));
  1345. /*]*/
  1346. r256opcode_istore(((T256*)_ca),_loc2);
  1347. r256opcode_iinc(((T256*)_ca),_loc1,1);
  1348. r256opcode_push_integer(((T256*)_ca),a1);
  1349. r256opcode_iload(((T256*)_ca),_loc1);
  1350. /*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
  1351. /*]*/
  1352. r256opcode_goto_backward(((T256*)_ca),_point1);
  1353. r256resolve_u2_branch(_point2);
  1354. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  1355. /*]*/
  1356. r256opcode_iload(((T256*)_ca),_loc2);
  1357. }
  1358. /*No:NATIVE_SMALL_EIFFEL.fz_a0*/
  1359. /*No:NATIVE_SMALL_EIFFEL.us_twin*/
  1360. /*No:NATIVE_SMALL_EIFFEL.fz_70*/
  1361. /*No:NATIVE_SMALL_EIFFEL.jvm_se_getenv*/
  1362. void r85jvm_int_to_bit(T0* a1,int a2){
  1363. T0* _cp=NULL;
  1364. T0* _ca=NULL;
  1365. int _loc2=0;
  1366. int _loc1=0;
  1367. int _point3=0;
  1368. int _point2=0;
  1369. int _point1=0;
  1370. int _idx=0;
  1371. _ca=oBC364code_attribute;
  1372. _cp=oBC364constant_pool;
  1373. r228push_target(((T228*)(oBC364jvm)));
  1374. _loc1=r256extra_local_size1(((T256*)_ca));
  1375. r256opcode_push_integer(((T256*)_ca),a2);
  1376. r256opcode_istore(((T256*)_ca),_loc1);
  1377. _loc2=r256extra_local_size1(((T256*)_ca));
  1378. _idx=X291jvm_push_default(a1);
  1379. r256opcode_istore(((T256*)_ca),_loc2);
  1380. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  1381. /*]*/
  1382. _point1=/*(IRF4.9program_counter*//*(IRF4.6count*/((((T226*)((T226*)(oBC256code))))->_upper/*8*/)+(1)/*)*//*)*/;
  1383. _point2=r256opcode_ifeq(((T256*)_ca));
  1384. r256opcode_iinc(((T256*)_ca),_loc1,255);
  1385. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  1386. /*]*/
  1387. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  1388. /*]*/
  1389. /*[IRF3.4opcode_iand*/r256opcode(((T256*)_ca),126,-(1));
  1390. /*]*/
  1391. _point3=r256opcode_ifeq(((T256*)_ca));
  1392. r256opcode_iload(((T256*)_ca),_loc2);
  1393. r256opcode_iload(((T256*)_ca),_loc1);
  1394. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms226_470),((T0*)ms230_470),((T0*)ms159_470));
  1395. r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
  1396. r256resolve_u2_branch(_point3);
  1397. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  1398. /*]*/
  1399. /*[IRF3.4opcode_iushr*/r256opcode(((T256*)_ca),124,-(1));
  1400. /*]*/
  1401. r256opcode_iload(((T256*)_ca),_loc1);
  1402. r256opcode_goto_backward(((T256*)_ca),_point1);
  1403. r256resolve_u2_branch(_point2);
  1404. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  1405. /*]*/
  1406. r256opcode_iload(((T256*)_ca),_loc2);
  1407. }
  1408. /*No:NATIVE_SMALL_EIFFEL.fz_61*/
  1409. /*No:NATIVE_SMALL_EIFFEL.us_bit_n*/
  1410. /*No:NATIVE_SMALL_EIFFEL.fz_80*/
  1411. /*No:NATIVE_SMALL_EIFFEL.us_real*/
  1412. /*No:NATIVE_SMALL_EIFFEL.us_die_with_code*/
  1413. void r85jvm_mapping_double_function(T0* a1,T0* a2){
  1414. T0* _ca=NULL;
  1415. int _idx=0;
  1416. int _space=0;
  1417. int _point2=0;
  1418. int _point1=0;
  1419. _ca=oBC364code_attribute;
  1420. /*IF*/if ((r892arg_count(((T892*)a1)))==(1)) {
  1421. r228push_target(((T228*)(oBC364jvm)));
  1422. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  1423. /*IF*/if ((((T0*)ms43_473))==((void*)(a2))) {
  1424. /*[IRF3.4opcode_dadd*/r256opcode(((T256*)_ca),99,-(2));
  1425. /*]*/
  1426. }
  1427.  else if ((((T0*)ms37_473))==((void*)(a2))) {
  1428. /*[IRF3.4opcode_dsub*/r256opcode(((T256*)_ca),103,-(2));
  1429. /*]*/
  1430. }
  1431.  else if ((((T0*)ms38_473))==((void*)(a2))) {
  1432. /*[IRF3.4opcode_dmul*/r256opcode(((T256*)_ca),107,-(2));
  1433. /*]*/
  1434. }
  1435.  else if ((((T0*)ms47_473))==((void*)(a2))) {
  1436. /*[IRF3.4opcode_ddiv*/r256opcode(((T256*)_ca),111,-(2));
  1437. /*]*/
  1438. }
  1439.  else if ((((T0*)ms44_473))==((void*)(a2))) {
  1440. /*[IRF3.4opcode_i2d*/r256opcode(((T256*)_ca),135,1);
  1441. /*]*/
  1442. _idx=r95idx_methodref3(((T95*)(oBC364constant_pool)),((T0*)ms219_470),((T0*)ms75_85),((T0*)ms225_470));
  1443. r256opcode_invokestatic(((T256*)_ca),_idx,-(2));
  1444. }
  1445. else {
  1446. /*[IRF3.4opcode_dcmpg*/r256opcode(((T256*)_ca),152,-(3));
  1447. /*]*/
  1448. /*IF*/if ((((T0*)ms33_473))==((void*)(a2))) {
  1449. _point1=r256opcode_ifgt(((T256*)_ca));
  1450. }
  1451.  else if ((((T0*)ms36_473))==((void*)(a2))) {
  1452. _point1=r256opcode_iflt(((T256*)_ca));
  1453. }
  1454.  else if ((((T0*)ms35_473))==((void*)(a2))) {
  1455. _point1=r256opcode_ifle(((T256*)_ca));
  1456. }
  1457.  else if ((((T0*)ms32_473))==((void*)(a2))) {
  1458. _point1=r256opcode_ifge(((T256*)_ca));
  1459. }
  1460. /*FI*//*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  1461. /*]*/
  1462. _point2=r256opcode_goto(((T256*)_ca));
  1463. r256resolve_u2_branch(_point1);
  1464. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  1465. /*]*/
  1466. r256resolve_u2_branch(_point2);
  1467. }
  1468. /*FI*/}
  1469.  else if ((((T0*)ms37_473))==((void*)(a2))) {
  1470. r228push_target(((T228*)(oBC364jvm)));
  1471. /*[IRF3.4opcode_dneg*/r256opcode(((T256*)_ca),119,0);
  1472. /*]*/
  1473. }
  1474.  else if ((((T0*)ms136_473))==((void*)(a2))) {
  1475. r228push_target(((T228*)(oBC364jvm)));
  1476. /*[IRF3.4opcode_d2f*/r256opcode(((T256*)_ca),144,-(1));
  1477. /*]*/
  1478. }
  1479.  else if ((((T0*)ms68_473))==((void*)(a2))) {
  1480. r228push_target(((T228*)(oBC364jvm)));
  1481. _idx=r95idx_methodref3(((T95*)(oBC364constant_pool)),((T0*)ms219_470),((T0*)ms74_473),((T0*)ms220_470));
  1482. r256opcode_invokestatic(((T256*)_ca),_idx,0);
  1483. }
  1484.  else if ((((T0*)ms138_473))==((void*)(a2))) {
  1485. r228push_target(((T228*)(oBC364jvm)));
  1486. _idx=r95idx_methodref3(((T95*)(oBC364constant_pool)),((T0*)ms219_470),((T0*)ms74_473),((T0*)ms220_470));
  1487. r256opcode_invokestatic(((T256*)_ca),_idx,0);
  1488. /*[IRF3.4opcode_d2i*/r256opcode(((T256*)_ca),142,-(1));
  1489. /*]*/
  1490. }
  1491. else {
  1492. r228push_target(((T228*)(oBC364jvm)));
  1493. _idx=r95idx_methodref3(((T95*)(oBC364constant_pool)),((T0*)ms219_470),a2,((T0*)ms220_470));
  1494. r256opcode_invokestatic(((T256*)_ca),_idx,0);
  1495. }
  1496. /*FI*/}
  1497. /*No:NATIVE_SMALL_EIFFEL.fz_71*/
  1498. /*No:NATIVE_SMALL_EIFFEL.fz_b1*/
  1499. void r85jvm_standard_twin_aux(T0* a1,T0* a2){
  1500. int _i=0;
  1501. int _space=0;
  1502. int _idx=0;
  1503. T0* _rf2=NULL;
  1504. T0* _ca=NULL;
  1505. _ca=oBC364code_attribute;
  1506. _idx=r355fully_qualified_constant_pool_index(((T355*)a1));
  1507. r256opcode_new(((T256*)_ca),_idx);
  1508. /*IF*/if ((a2)==((void*)(NULL))) {
  1509. r228drop_target(((T228*)(oBC364jvm)));
  1510. }
  1511. else {
  1512. r228push_target(((T228*)(oBC364jvm)));
  1513. _i=(((T280*)((T280*)a2)))->_upper/*12*/;
  1514. while (!((_i)==(0))) {
  1515. _rf2=r280item(((T280*)a2),_i);
  1516. /*[IRF3.4opcode_dup2*/r256opcode(((T256*)_ca),92,2);
  1517. /*]*/
  1518. _idx=r95idx_fieldref(((T95*)(oBC364constant_pool)),_rf2);
  1519. _space=X291jvm_stack_space((((T820*)((T820*)_rf2)))->_result_type/*24*/);
  1520. r256opcode_getfield(((T256*)_ca),_idx,(_space)-(1));
  1521. r256opcode_putfield(((T256*)_ca),_idx,(_space)+(1));
  1522. _i=(_i)-(1);
  1523. }
  1524. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  1525. /*]*/
  1526. }
  1527. /*FI*/}
  1528. /*No:NATIVE_SMALL_EIFFEL.us_implies*/
  1529. /*No:NATIVE_SMALL_EIFFEL.fz_62*/
  1530. /*No:NATIVE_SMALL_EIFFEL.fz_25*/
  1531. /*No:NATIVE_SMALL_EIFFEL.fz_a2*/
  1532. /*No:NATIVE_SMALL_EIFFEL.fz_53*/
  1533. /*No:NATIVE_SMALL_EIFFEL.fz_90*/
  1534. /*No:NATIVE_SMALL_EIFFEL.us_is_basic_expanded_type*/
  1535. void r85jvm_sfr_open(T0* a1){
  1536. T0* _ca=NULL;
  1537. T0* _cp=NULL;
  1538. int _idx=0;
  1539. int _point=0;
  1540. _cp=oBC364constant_pool;
  1541. _ca=oBC364code_attribute;
  1542. r892jvm_opening(((T892*)a1));
  1543. _idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
  1544. r256opcode_new(((T256*)_ca),_idx);
  1545. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  1546. /*]*/
  1547. /*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
  1548. /*]*/
  1549. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  1550. /*]*/
  1551. /*[IRF3.4opcode_aload_1*/r256opcode(((T256*)_ca),43,1);
  1552. /*]*/
  1553. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
  1554. r256opcode_invokespecial(((T256*)_ca),_idx,-(4));
  1555. /*[IRF3.4opcode_astore_3*/r256opcode(((T256*)_ca),78,-(1));
  1556. /*]*/
  1557. _idx=r95idx_class2(((T95*)_cp),((T0*)ms211_470));
  1558. r256opcode_new(((T256*)_ca),_idx);
  1559. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  1560. /*]*/
  1561. /*[IRF3.4opcode_aload_3*/r256opcode(((T256*)_ca),45,1);
  1562. /*]*/
  1563. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms167_470),((T0*)ms183_470));
  1564. r256opcode_invokespecial(((T256*)_ca),_idx,0);
  1565. /*[IRF3.4opcode_astore_3*/r256opcode(((T256*)_ca),78,-(1));
  1566. /*]*/
  1567. /*[IRF3.4opcode_aload_3*/r256opcode(((T256*)_ca),45,1);
  1568. /*]*/
  1569. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms212_470),((T0*)ms213_470));
  1570. r256opcode_invokevirtual(((T256*)_ca),_idx,0);
  1571. _point=r256opcode_ifeq(((T256*)_ca));
  1572. _idx=r95idx_class2(((T95*)_cp),((T0*)ms193_470));
  1573. r256opcode_new(((T256*)_ca),_idx);
  1574. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  1575. /*]*/
  1576. /*[IRF3.4opcode_aload_3*/r256opcode(((T256*)_ca),45,1);
  1577. /*]*/
  1578. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms193_470),((T0*)ms167_470),((T0*)ms214_470));
  1579. r256opcode_invokespecial(((T256*)_ca),_idx,-(2));
  1580. /*[IRF3.2opcode_areturn*//*[IRF3.6add_u1*/{int b1=176;
  1581. r226add_last(((T226*)(oBC256code)),b1);
  1582. }/*]*/
  1583. /*]*/
  1584. r256resolve_u2_branch(_point);
  1585. /*[IRF3.4opcode_aconst_null*/r256opcode(((T256*)_ca),1,1);
  1586. /*]*/
  1587. /*[IRF3.4opcode_astore_3*/r256opcode(((T256*)_ca),78,-(1));
  1588. /*]*/
  1589. r892jvm_closing(((T892*)a1));
  1590. }
  1591. void r85jvm_sfw_open(T0* a1){
  1592. T0* _ca=NULL;
  1593. T0* _cp=NULL;
  1594. int _idx=0;
  1595. _cp=oBC364constant_pool;
  1596. _ca=oBC364code_attribute;
  1597. r892jvm_opening(((T892*)a1));
  1598. _idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
  1599. r256opcode_new(((T256*)_ca),_idx);
  1600. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  1601. /*]*/
  1602. /*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
  1603. /*]*/
  1604. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  1605. /*]*/
  1606. /*[IRF3.4opcode_aload_1*/r256opcode(((T256*)_ca),43,1);
  1607. /*]*/
  1608. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
  1609. r256opcode_invokespecial(((T256*)_ca),_idx,-(4));
  1610. /*[IRF3.4opcode_astore_3*/r256opcode(((T256*)_ca),78,-(1));
  1611. /*]*/
  1612. _idx=r95idx_class2(((T95*)_cp),((T0*)ms211_470));
  1613. r256opcode_new(((T256*)_ca),_idx);
  1614. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  1615. /*]*/
  1616. /*[IRF3.4opcode_aload_3*/r256opcode(((T256*)_ca),45,1);
  1617. /*]*/
  1618. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms211_470),((T0*)ms167_470),((T0*)ms183_470));
  1619. r256opcode_invokespecial(((T256*)_ca),_idx,0);
  1620. /*[IRF3.4opcode_astore_3*/r256opcode(((T256*)_ca),78,-(1));
  1621. /*]*/
  1622. _idx=r95idx_class2(((T95*)_cp),((T0*)ms198_470));
  1623. r256opcode_new(((T256*)_ca),_idx);
  1624. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  1625. /*]*/
  1626. /*[IRF3.4opcode_aload_3*/r256opcode(((T256*)_ca),45,1);
  1627. /*]*/
  1628. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms198_470),((T0*)ms167_470),((T0*)ms214_470));
  1629. r256opcode_invokespecial(((T256*)_ca),_idx,-(2));
  1630. /*[IRF3.4opcode_astore_3*/r256opcode(((T256*)_ca),78,-(1));
  1631. /*]*/
  1632. r892jvm_closing(((T892*)a1));
  1633. }
  1634. /*No:NATIVE_SMALL_EIFFEL.us_generating_type*/
  1635. /*No:NATIVE_SMALL_EIFFEL.fz_72*/
  1636. /*No:NATIVE_SMALL_EIFFEL.fz_35*/
  1637. /*No:NATIVE_SMALL_EIFFEL.fz_26*/
  1638. /*No:NATIVE_SMALL_EIFFEL.fz_b2*/
  1639. /*No:NATIVE_SMALL_EIFFEL.fz_63*/
  1640. /*No:NATIVE_SMALL_EIFFEL.fz_a3*/
  1641. /*No:NATIVE_SMALL_EIFFEL.fz_91*/
  1642. void r85jvm_mapping_procedure(T0* a1,T0* a2,T0* a3){
  1643. T0* _ca=NULL;
  1644. T0* _t=NULL;
  1645. int _idx=0;
  1646. int _space=0;
  1647. _ca=oBC364code_attribute;
  1648. /*IF*/if (((((T0*)ms64_473))==((void*)(a3)))||((((T0*)ms121_473))==((void*)(a3)))) {
  1649. _t=(((T906*)((T906*)a1)))->_current_type/*4*/;
  1650. /*IF*/if (X291is_basic_eiffel_expanded(_t)) {
  1651. r228drop_target(((T228*)(oBC364jvm)));
  1652. r228drop_ith_argument(((T228*)(oBC364jvm)),1);
  1653. }
  1654. else {
  1655. r85jvm_copy((((T906*)((T906*)a1)))->_current_type/*4*/);
  1656. }
  1657. /*FI*/}
  1658.  else if ((((T0*)ms75_473))==((void*)(a3))) {
  1659. r228drop_target(((T228*)(oBC364jvm)));
  1660. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  1661. _idx=r95idx_methodref3(((T95*)(oBC364constant_pool)),((T0*)ms157_470),((T0*)ms61_85),((T0*)ms161_470));
  1662. r256opcode_invokevirtual(((T256*)_ca),_idx,-(1));
  1663. }
  1664.  else if ((((T0*)ms142_473))==((void*)(a3))) {
  1665. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  1666. _space=r228push_ith_argument(((T228*)(oBC364jvm)),2);
  1667. _idx=r95idx_methodref3(((T95*)(oBC364constant_pool)),((T0*)ms157_470),((T0*)ms62_85),((T0*)ms159_470));
  1668. r256opcode_invokevirtual(((T256*)_ca),_idx,-(2));
  1669. }
  1670.  else if ((((T0*)ms69_473))==((void*)(a3))) {
  1671. r228drop_target(((T228*)(oBC364jvm)));
  1672. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  1673. r256opcode_system_exit(((T256*)_ca));
  1674. }
  1675.  else if ((((T0*)ms76_473))==((void*)(a3))) {
  1676. r228drop_target(((T228*)(oBC364jvm)));
  1677. }
  1678.  else if ((((T0*)ms103_473))==((void*)(a3))) {
  1679. r228drop_target(((T228*)(oBC364jvm)));
  1680. r256opcode_runtime_trace_instructions(((T256*)_ca),1);
  1681. }
  1682.  else if ((((T0*)ms18_473))==((void*)(a2))) {
  1683. r85jvm_mapping_native_array_procedure(a1,a3);
  1684. }
  1685.  else if ((((T0*)ms120_473))==((void*)(a3))) {
  1686. r228drop_target(((T228*)(oBC364jvm)));
  1687. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  1688. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  1689. /*]*/
  1690. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  1691. /*]*/
  1692. r256opcode_bipush(((T256*)_ca),((unsigned char)'1'));
  1693. /*[IRF3.4opcode_bastore*/r256opcode(((T256*)_ca),84,-(3));
  1694. /*]*/
  1695. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  1696. /*]*/
  1697. r256opcode_bipush(((T256*)_ca),((unsigned char)'0'));
  1698. /*[IRF3.4opcode_bastore*/r256opcode(((T256*)_ca),84,-(3));
  1699. /*]*/
  1700. }
  1701.  else if ((((T0*)ms119_473))==((void*)(a3))) {
  1702. r906routine_mapping_jvm(((T906*)a1));
  1703. }
  1704.  else if ((((T0*)ms114_473))==((void*)(a3))) {
  1705. r906routine_mapping_jvm(((T906*)a1));
  1706. }
  1707.  else if ((((T0*)ms113_473))==((void*)(a3))) {
  1708. r906routine_mapping_jvm(((T906*)a1));
  1709. }
  1710.  else if ((((T0*)ms116_473))==((void*)(a3))) {
  1711. /*[IRF3.2jvm_se_system*/{T0* _ca=NULL;
  1712. T0* _cp=NULL;
  1713. int _idx=0;
  1714. int _space=0;
  1715. _cp=oBC364constant_pool;
  1716. _ca=oBC364code_attribute;
  1717. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms179_470),((T0*)ms181_470),((T0*)ms182_470));
  1718. r256opcode_invokestatic(((T256*)_ca),_idx,1);
  1719. _idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
  1720. r256opcode_new(((T256*)_ca),_idx);
  1721. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  1722. /*]*/
  1723. _space=r228push_ith_argument(((T228*)(oBC364jvm)),2);
  1724. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  1725. /*]*/
  1726. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  1727. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
  1728. r256opcode_invokespecial(((T256*)_ca),_idx,-(4));
  1729. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms179_470),((T0*)ms215_470),((T0*)ms216_470));
  1730. r256opcode_invokevirtual(((T256*)_ca),_idx,-(1));
  1731. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms218_470),((T0*)ms217_470),((T0*)ms197_470));
  1732. r256opcode_invokevirtual(((T256*)_ca),_idx,0);
  1733. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  1734. /*]*/
  1735. }/*]*/
  1736. }
  1737.  else if ((((T0*)ms4_473))==((void*)(a2))) {
  1738. r85jvm_mapping_bit_procedure(a1,a3);
  1739. }
  1740. else {
  1741. r85fe_nyi(a1);
  1742. }
  1743. /*FI*/}
  1744. /*No:NATIVE_SMALL_EIFFEL.us_shift_right*/
  1745. /*No:NATIVE_SMALL_EIFFEL.us_count*/
  1746. /*No:NATIVE_SMALL_EIFFEL.us_minus*/
  1747. /*No:NATIVE_SMALL_EIFFEL.fz_36*/
  1748. /*No:NATIVE_SMALL_EIFFEL.us_se_argc*/
  1749. void r85jvm_standard_is_equal(T0* a1){
  1750. int _space=0;
  1751. int _point2=0;
  1752. int _point1=0;
  1753. T0* _wa=NULL;
  1754. T0* _rc=NULL;
  1755. T0* _ca=NULL;
  1756. _ca=oBC364code_attribute;
  1757. r228push_target(((T228*)(oBC364jvm)));
  1758. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  1759. /*IF*/if ((X291is_basic_eiffel_expanded(a1))||(r85native_array(a1))) {
  1760. _point1=X291jvm_if_x_eq(a1);
  1761. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  1762. /*]*/
  1763. _point2=r256opcode_goto(((T256*)_ca));
  1764. r256resolve_u2_branch(_point1);
  1765. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  1766. /*]*/
  1767. r256resolve_u2_branch(_point2);
  1768. }
  1769. else {
  1770. _rc=X291run_class(a1);
  1771. _wa=r355writable_attributes(((T355*)_rc));
  1772. /*IF*/if (X291is_expanded(a1)) {
  1773. /*IF*/if ((_wa)==((void*)(NULL))) {
  1774. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  1775. /*]*/
  1776. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  1777. /*]*/
  1778. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  1779. /*]*/
  1780. }
  1781. else {
  1782. r85jvm_standard_is_equal_aux(_rc,_wa);
  1783. }
  1784. /*FI*/}
  1785. else {
  1786. r85jvm_standard_is_equal_aux(_rc,_wa);
  1787. }
  1788. /*FI*/}
  1789. /*FI*/}
  1790. /*No:NATIVE_SMALL_EIFFEL.fz_b3*/
  1791. /*No:NATIVE_SMALL_EIFFEL.fz_64*/
  1792. void r85jvm_define_procedure(T0* a1,T0* a2,T0* a3){
  1793. /*IF*/if ((((T0*)ms119_473))==((void*)(a3))) {
  1794. r85jvm_define_sprintf_double(a1);
  1795. }
  1796.  else if ((((T0*)ms114_473))==((void*)(a3))) {
  1797. r85jvm_define_se_rename(a1);
  1798. }
  1799.  else if ((((T0*)ms113_473))==((void*)(a3))) {
  1800. r85jvm_define_se_remove(a1);
  1801. }
  1802. /*FI*/}
  1803. /*No:NATIVE_SMALL_EIFFEL.fz_27*/
  1804. /*No:NATIVE_SMALL_EIFFEL.us_object_size*/
  1805. /*No:NATIVE_SMALL_EIFFEL.fz_a4*/
  1806. /*No:NATIVE_SMALL_EIFFEL.fz_55*/
  1807. /*No:NATIVE_SMALL_EIFFEL.fz_92*/
  1808. void r85jvm_mapping_integer_function(T0* a1,T0* a2){
  1809. T0* _ca=NULL;
  1810. int _space=0;
  1811. int _point2=0;
  1812. int _point1=0;
  1813. _ca=oBC364code_attribute;
  1814. /*IF*/if ((((T0*)ms47_473))==((void*)(a2))) {
  1815. r228push_target(((T228*)(oBC364jvm)));
  1816. /*[IRF3.4opcode_i2d*/r256opcode(((T256*)_ca),135,1);
  1817. /*]*/
  1818. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  1819. /*[IRF3.4opcode_i2d*/r256opcode(((T256*)_ca),135,1);
  1820. /*]*/
  1821. /*[IRF3.4opcode_ddiv*/r256opcode(((T256*)_ca),111,-(2));
  1822. /*]*/
  1823. }
  1824.  else if ((r892arg_count(((T892*)a1)))==(1)) {
  1825. r228push_target(((T228*)(oBC364jvm)));
  1826. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  1827. /*IF*/if ((((T0*)ms43_473))==((void*)(a2))) {
  1828. /*[IRF3.4opcode_iadd*/r256opcode(((T256*)_ca),96,-(1));
  1829. /*]*/
  1830. }
  1831.  else if ((((T0*)ms37_473))==((void*)(a2))) {
  1832. /*[IRF3.4opcode_isub*/r256opcode(((T256*)_ca),100,-(1));
  1833. /*]*/
  1834. }
  1835.  else if ((((T0*)ms38_473))==((void*)(a2))) {
  1836. /*[IRF3.4opcode_imul*/r256opcode(((T256*)_ca),104,-(1));
  1837. /*]*/
  1838. }
  1839.  else if ((((T0*)ms48_473))==((void*)(a2))) {
  1840. /*[IRF3.4opcode_idiv*/r256opcode(((T256*)_ca),108,-(1));
  1841. /*]*/
  1842. }
  1843.  else if ((((T0*)ms30_473))==((void*)(a2))) {
  1844. /*[IRF3.4opcode_irem*/r256opcode(((T256*)_ca),112,-(1));
  1845. /*]*/
  1846. }
  1847. else {
  1848. /*IF*/if ((((T0*)ms33_473))==((void*)(a2))) {
  1849. _point1=r256opcode_if_icmpgt(((T256*)_ca));
  1850. }
  1851.  else if ((((T0*)ms36_473))==((void*)(a2))) {
  1852. _point1=r256opcode_if_icmplt(((T256*)_ca));
  1853. }
  1854.  else if ((((T0*)ms35_473))==((void*)(a2))) {
  1855. _point1=r256opcode_if_icmple(((T256*)_ca));
  1856. }
  1857. else {
  1858. _point1=r256opcode_if_icmpge(((T256*)_ca));
  1859. }
  1860. /*FI*//*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  1861. /*]*/
  1862. _point2=r256opcode_goto(((T256*)_ca));
  1863. r256resolve_u2_branch(_point1);
  1864. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  1865. /*]*/
  1866. r256resolve_u2_branch(_point2);
  1867. }
  1868. /*FI*/}
  1869.  else if ((((T0*)ms132_473))==((void*)(a2))) {
  1870. r228push_target(((T228*)(oBC364jvm)));
  1871. /*[IRF3.4opcode_i2b*/r256opcode(((T256*)(oBC364code_attribute)),145,0);
  1872. /*]*/
  1873. }
  1874.  else if ((((T0*)ms131_473))==((void*)(a2))) {
  1875. r85jvm_int_to_bit((((T892*)((T892*)a1)))->_result_type/*24*/,32);
  1876. }
  1877. else {
  1878. r228push_target(((T228*)(oBC364jvm)));
  1879. /*[IRF3.4opcode_ineg*/r256opcode(((T256*)(oBC364code_attribute)),116,0);
  1880. /*]*/
  1881. }
  1882. /*FI*/}
  1883. /*No:NATIVE_SMALL_EIFFEL.us_se_rename*/
  1884. /*No:NATIVE_SMALL_EIFFEL.us_code*/
  1885. /*No:NATIVE_SMALL_EIFFEL.fz_b4*/
  1886. /*No:NATIVE_SMALL_EIFFEL.fz_65*/
  1887. /*No:NATIVE_SMALL_EIFFEL.us_standard_is_equal*/
  1888. /*No:NATIVE_SMALL_EIFFEL.fz_93*/
  1889. /*No:NATIVE_SMALL_EIFFEL.fz_a5*/
  1890. /*No:NATIVE_SMALL_EIFFEL.fz_56*/
  1891. /*No:NATIVE_SMALL_EIFFEL.us_sprintf_pointer*/
  1892. int r85native_array(T0* a1){
  1893. int R=0;
  1894. R=((((T451*)((T451*)(X291base_class_name(a1)))))->_to_string/*0*/)==((void*)(((T0*)ms18_473)));
  1895. return R;
  1896. }
  1897. /*No:NATIVE_SMALL_EIFFEL.us_is_not_void*/
  1898. /*No:NATIVE_SMALL_EIFFEL.fz_29*/
  1899. /*No:NATIVE_SMALL_EIFFEL.fz_94*/
  1900. /*No:NATIVE_SMALL_EIFFEL.fz_57*/
  1901. /*No:NATIVE_SMALL_EIFFEL.us_pointer_size*/
  1902. void r85jvm_object_size(T0* a1){
  1903. T0* _wa=NULL;
  1904. int _i=0;
  1905. int _space=0;
  1906. T0* _t=NULL;
  1907. /*IF*/if (X291is_basic_eiffel_expanded(a1)) {
  1908. _space=X291jvm_stack_space(a1);
  1909. }
  1910. else {
  1911. _wa=r355writable_attributes(((T355*)(X291run_class(a1))));
  1912. /*IF*/if ((_wa)!=((void*)(NULL))) {
  1913. _i=(((T280*)((T280*)_wa)))->_upper/*12*/;
  1914. while (!((_i)==(0))) {
  1915. _t=(((T820*)((T820*)(r280item(((T280*)_wa),_i)))))->_result_type/*24*/;
  1916. _space=(_space)+(X291jvm_stack_space(_t));
  1917. _i=(_i)-(1);
  1918. }
  1919. }
  1920. /*FI*/}
  1921. /*FI*/r256opcode_push_integer(((T256*)(oBC364code_attribute)),_space);
  1922. }
  1923. /*No:NATIVE_SMALL_EIFFEL.us_double*/
  1924. /*No:NATIVE_SMALL_EIFFEL.us_to_double*/
  1925. /*No:NATIVE_SMALL_EIFFEL.fz_85*/
  1926. /*No:NATIVE_SMALL_EIFFEL.us_xor*/
  1927. /*No:NATIVE_SMALL_EIFFEL.fz_67*/
  1928. /*No:NATIVE_SMALL_EIFFEL.fz_95*/
  1929. /*No:NATIVE_SMALL_EIFFEL.fz_86*/
  1930. /*No:NATIVE_SMALL_EIFFEL.fz_77*/
  1931. /*No:NATIVE_SMALL_EIFFEL.us_platform*/
  1932. /*No:NATIVE_SMALL_EIFFEL.us_is_equal*/
  1933. /*No:NATIVE_SMALL_EIFFEL.us_to_bit*/
  1934. /*No:NATIVE_SMALL_EIFFEL.us_to_character*/
  1935. /*No:NATIVE_SMALL_EIFFEL.fz_87*/
  1936. /*No:NATIVE_SMALL_EIFFEL.fz_78*/
  1937. /*No:NATIVE_SMALL_EIFFEL.us_se_string2double*/
  1938. /*No:NATIVE_SMALL_EIFFEL.fz_69*/
  1939. void r85jvm_se_string2double(T0* a1){
  1940. T0* _ca=NULL;
  1941. T0* _cp=NULL;
  1942. int _idx=0;
  1943. _cp=oBC364constant_pool;
  1944. _ca=oBC364code_attribute;
  1945. r892jvm_opening(((T892*)a1));
  1946. _idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
  1947. r256opcode_new(((T256*)_ca),_idx);
  1948. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  1949. /*]*/
  1950. /*[IRF3.4opcode_aload_2*/r256opcode(((T256*)_ca),44,1);
  1951. /*]*/
  1952. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  1953. /*]*/
  1954. /*[IRF3.4opcode_aload_1*/r256opcode(((T256*)_ca),43,1);
  1955. /*]*/
  1956. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
  1957. r256opcode_invokespecial(((T256*)_ca),_idx,-(4));
  1958. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms188_470),((T0*)ms186_470),((T0*)ms187_470));
  1959. r256opcode_invokestatic(((T256*)_ca),_idx,1);
  1960. r256opcode_dstore(((T256*)_ca),3);
  1961. r892jvm_closing(((T892*)a1));
  1962. }
  1963. /*No:NATIVE_SMALL_EIFFEL.us_free*/
  1964. /*No:NATIVE_SMALL_EIFFEL.fz_a9*/
  1965. /*No:NATIVE_SMALL_EIFFEL.us_read_byte*/
  1966. int r85use_current(T0* a1){
  1967. int R=0;
  1968. T0* _n=NULL;
  1969. _n=X776to_string(/*X279*/((T0*)/*(IRF4.6first_name*//*(IRF4.6item*/r855item(((T855*)((((T953*)((T953*)((((T679*)((T679*)a1)))->_names/*8*/))))->_list/*0*/)),1)/*)*//*)*/));
  1970. /*IF*/if ((((T0*)ms110_473))==((void*)(_n))) {
  1971. }
  1972.  else if ((((T0*)ms107_473))==((void*)(_n))) {
  1973. }
  1974.  else if ((((T0*)ms111_473))==((void*)(_n))) {
  1975. }
  1976.  else if ((((T0*)ms114_473))==((void*)(_n))) {
  1977. }
  1978.  else if ((((T0*)ms113_473))==((void*)(_n))) {
  1979. }
  1980.  else if ((((T0*)ms116_473))==((void*)(_n))) {
  1981. }
  1982.  else if ((((T0*)ms142_473))==((void*)(_n))) {
  1983. }
  1984. else {
  1985. R=1;
  1986. }
  1987. /*FI*/return R;
  1988. }
  1989. void r85jvm_mapping_native_array_procedure(T0* a1,T0* a2){
  1990. int _space=0;
  1991. T0* _elt_type=NULL;
  1992. _elt_type=X291run_type(r701item(((T701*)(X291generic_list((((T906*)((T906*)a1)))->_current_type/*4*/))),1));
  1993. /*IF*/if ((((T0*)ms104_473))==((void*)(a2))) {
  1994. r228push_target(((T228*)(oBC364jvm)));
  1995. _space=r228push_ith_argument(((T228*)(oBC364jvm)),2);
  1996. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  1997. X291jvm_xastore(_elt_type);
  1998. }
  1999. else {
  2000. r228drop_target(((T228*)(oBC364jvm)));
  2001. }
  2002. /*FI*/}
  2003. void r85jvm_copy(T0* a1){
  2004. int _i=0;
  2005. int _space=0;
  2006. int _idx=0;
  2007. T0* _rf2=NULL;
  2008. T0* _wa=NULL;
  2009. T0* _rc=NULL;
  2010. _rc=X291run_class(a1);
  2011. _wa=r355writable_attributes(((T355*)_rc));
  2012. /*IF*/if ((_wa)==((void*)(NULL))) {
  2013. r228drop_target(((T228*)(oBC364jvm)));
  2014. r228drop_ith_argument(((T228*)(oBC364jvm)),1);
  2015. }
  2016. else {
  2017. r228push_target(((T228*)(oBC364jvm)));
  2018. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  2019. _i=(((T280*)((T280*)_wa)))->_upper/*12*/;
  2020. while (!((_i)==(0))) {
  2021. /*IF*/if ((_i)>(1)) {
  2022. /*[IRF3.4opcode_dup2*/r256opcode(((T256*)(oBC364code_attribute)),92,2);
  2023. /*]*/
  2024. }
  2025. /*FI*/_rf2=r280item(((T280*)_wa),_i);
  2026. _idx=r95idx_fieldref(((T95*)(oBC364constant_pool)),_rf2);
  2027. _space=X291jvm_stack_space((((T820*)((T820*)_rf2)))->_result_type/*24*/);
  2028. r256opcode_getfield(((T256*)(oBC364code_attribute)),_idx,(_space)-(1));
  2029. r256opcode_putfield(((T256*)(oBC364code_attribute)),_idx,-((_space)+(1)));
  2030. _i=(_i)-(1);
  2031. }
  2032. }
  2033. /*FI*/}
  2034. /*No:NATIVE_SMALL_EIFFEL.us_not*/
  2035. /*No:NATIVE_SMALL_EIFFEL.fz_88*/
  2036. /*No:NATIVE_SMALL_EIFFEL.fz_79*/
  2037. /*No:NATIVE_SMALL_EIFFEL.us_muls*/
  2038. /*No:NATIVE_SMALL_EIFFEL.fz_98*/
  2039. /*No:NATIVE_SMALL_EIFFEL.us_boolean_bits*/
  2040. void r85jvm_define_function(T0* a1,T0* a2,T0* a3){
  2041. T0* _ca=NULL;
  2042. T0* _cp=NULL;
  2043. int _point1=0;
  2044. int _field_idx=0;
  2045. int _rc_idx=0;
  2046. T0* _rf7=NULL;
  2047. T0* _rf=NULL;
  2048. T0* _rc=NULL;
  2049. T0* _ct=NULL;
  2050. _cp=oBC364constant_pool;
  2051. _ca=oBC364code_attribute;
  2052. /*IF*/if ((((T0*)ms14_473))==((void*)(a2))) {
  2053. /*IF*/if ((((T0*)ms139_473))==((void*)(a3))) {
  2054. _ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
  2055. _rc=X291run_class(_ct);
  2056. _rf=r355get_copy(((T355*)_rc));
  2057. _rf7=_rf;
  2058. if(NULL!=(_rf7))switch(((T0*)_rf7)->id) {
  2059. case 906: 
  2060. break;
  2061. default:
  2062. _rf7=NULL;
  2063. };/*IF*/if ((_rf7)!=((void*)(NULL))) {
  2064. }
  2065. else {
  2066. r85jvm_define_twin(a1,_rc,_rf);
  2067. }
  2068. /*FI*/}
  2069.  else if ((((T0*)ms78_473))==((void*)(a3))) {
  2070. r892jvm_opening(((T892*)a1));
  2071. _ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
  2072. _rc=X291run_class(_ct);
  2073. _rc_idx=r355fully_qualified_constant_pool_index(((T355*)_rc));
  2074. _field_idx=r95idx_fieldref_generating_type(((T95*)_cp),_rc_idx);
  2075. r256opcode_getstatic(((T256*)_ca),_field_idx,1);
  2076. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  2077. /*]*/
  2078. _point1=r256opcode_ifnonnull(((T256*)_ca));
  2079. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  2080. /*]*/
  2081. r256opcode_push_manifest_string(((T256*)_ca),X291run_time_mark(_ct));
  2082. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  2083. /*]*/
  2084. r256opcode_putstatic(((T256*)_ca),_field_idx,-(1));
  2085. r256resolve_u2_branch(_point1);
  2086. r892jvm_closing_fast(((T892*)a1));
  2087. }
  2088.  else if ((((T0*)ms79_473))==((void*)(a3))) {
  2089. r892jvm_opening(((T892*)a1));
  2090. _ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
  2091. _rc=X291run_class(_ct);
  2092. _rc_idx=r355fully_qualified_constant_pool_index(((T355*)_rc));
  2093. _field_idx=r95idx_fieldref_generator(((T95*)_cp),_rc_idx);
  2094. r256opcode_getstatic(((T256*)_ca),_field_idx,1);
  2095. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  2096. /*]*/
  2097. _point1=r256opcode_ifnonnull(((T256*)_ca));
  2098. /*[IRF3.4opcode_pop*/r256opcode(((T256*)_ca),87,-(1));
  2099. /*]*/
  2100. r256opcode_push_manifest_string(((T256*)_ca),(((T451*)((T451*)(X291base_class_name(_ct)))))->_to_string/*0*/);
  2101. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  2102. /*]*/
  2103. r256opcode_putstatic(((T256*)_ca),_field_idx,-(1));
  2104. r256resolve_u2_branch(_point1);
  2105. r892jvm_closing_fast(((T892*)a1));
  2106. }
  2107. /*FI*/}
  2108.  else if ((((T0*)ms118_473))==((void*)(a3))) {
  2109. r85jvm_sfw_open(a1);
  2110. }
  2111.  else if ((((T0*)ms117_473))==((void*)(a3))) {
  2112. r85jvm_sfr_open(a1);
  2113. }
  2114.  else if ((((T0*)ms115_473))==((void*)(a3))) {
  2115. r85jvm_se_string2double(a1);
  2116. }
  2117. /*FI*/}
  2118. /*No:NATIVE_SMALL_EIFFEL.fz_89*/
  2119. /*No:NATIVE_SMALL_EIFFEL.us_se_getenv*/
  2120. /*No:NATIVE_SMALL_EIFFEL.us_to_integer*/
  2121. /*No:NATIVE_SMALL_EIFFEL.us_gt*/
  2122. /*No:NATIVE_SMALL_EIFFEL.us_calloc*/
  2123. /*No:NATIVE_SMALL_EIFFEL.fz_99*/
  2124. /*No:NATIVE_SMALL_EIFFEL.us_to_pointer*/
  2125. /*No:NATIVE_SMALL_EIFFEL.fatal_error*/
  2126. /*No:NATIVE_SMALL_EIFFEL.us_real_bits*/
  2127. /*No:NATIVE_SMALL_EIFFEL.us_plus*/
  2128. /*No:NATIVE_SMALL_EIFFEL.us_element_sizeof*/
  2129. /*No:NATIVE_SMALL_EIFFEL.us_native_array*/
  2130. /*No:NATIVE_SMALL_EIFFEL.us_pow*/
  2131. /*No:NATIVE_SMALL_EIFFEL.jvm_se_system*/
  2132. /*No:NATIVE_SMALL_EIFFEL.us_eof_code*/
  2133. /*No:NATIVE_SMALL_EIFFEL.us_print_run_time_stack*/
  2134. /*No:NATIVE_SMALL_EIFFEL.us_minimum_double*/
  2135. /*No:NATIVE_SMALL_EIFFEL.us_lt*/
  2136. void r85jvm_mapping_function(T0* a1,T0* a2,T0* a3){
  2137. T0* _ca=NULL;
  2138. T0* _cp=NULL;
  2139. int _idx=0;
  2140. int _space=0;
  2141. int _point2=0;
  2142. int _point1=0;
  2143. T0* _rf7=NULL;
  2144. T0* _rf=NULL;
  2145. T0* _rc=NULL;
  2146. T0* _ct=NULL;
  2147. _ca=oBC364code_attribute;
  2148. _cp=oBC364constant_pool;
  2149. /*IF*/if ((((T0*)ms135_473))==((void*)(a3))) {
  2150. r228push_target(((T228*)(oBC364jvm)));
  2151. }
  2152.  else if ((((T0*)ms125_473))==((void*)(a3))) {
  2153. r256opcode_system_in(((T256*)_ca));
  2154. }
  2155.  else if ((((T0*)ms126_473))==((void*)(a3))) {
  2156. r256opcode_system_out(((T256*)_ca));
  2157. }
  2158.  else if ((((T0*)ms124_473))==((void*)(a3))) {
  2159. r256opcode_system_err(((T256*)_ca));
  2160. }
  2161.  else if ((((T0*)ms15_473))==((void*)(a2))) {
  2162. r85jvm_mapping_integer_function(a1,a3);
  2163. }
  2164.  else if ((((T0*)ms23_473))==((void*)(a2))) {
  2165. r85jvm_mapping_real_function(a1,a3);
  2166. }
  2167.  else if ((((T0*)ms11_473))==((void*)(a2))) {
  2168. r85jvm_mapping_double_function(a1,a3);
  2169. }
  2170.  else if ((((T0*)ms18_473))==((void*)(a2))) {
  2171. r85jvm_mapping_native_array_function(a1,a3);
  2172. }
  2173.  else if ((((T0*)ms8_473))==((void*)(a2))) {
  2174. /*IF*/if ((((T0*)ms62_473))==((void*)(a3))) {
  2175. r228push_target(((T228*)(oBC364jvm)));
  2176. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  2177. /*]*/
  2178. _point1=r256opcode_ifge(((T256*)_ca));
  2179. r256opcode_sipush(((T256*)_ca),255);
  2180. /*[IRF3.4opcode_iand*/r256opcode(((T256*)_ca),126,-(1));
  2181. /*]*/
  2182. r256resolve_u2_branch(_point1);
  2183. }
  2184.  else if ((((T0*)ms134_473))==((void*)(a3))) {
  2185. r228push_target(((T228*)(oBC364jvm)));
  2186. }
  2187. else {
  2188. r85jvm_int_to_bit((((T892*)((T892*)a1)))->_result_type/*24*/,8);
  2189. }
  2190. /*FI*/}
  2191.  else if ((((T0*)ms85_473))==((void*)(a3))) {
  2192. r228push_target(((T228*)(oBC364jvm)));
  2193. _point1=r256opcode_ifnonnull(((T256*)_ca));
  2194. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  2195. /*]*/
  2196. _point2=r256opcode_goto(((T256*)_ca));
  2197. r256resolve_u2_branch(_point1);
  2198. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  2199. /*]*/
  2200. r256resolve_u2_branch(_point2);
  2201. }
  2202.  else if ((((T0*)ms34_473))==((void*)(a3))) {
  2203. r228push_target(((T228*)(oBC364jvm)));
  2204. _point1=r256opcode_ifeq(((T256*)_ca));
  2205. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  2206. _point2=r256opcode_goto(((T256*)_ca));
  2207. r256resolve_u2_branch(_point1);
  2208. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  2209. /*]*/
  2210. r256resolve_u2_branch(_point2);
  2211. }
  2212.  else if ((((T0*)ms14_473))==((void*)(a2))) {
  2213. /*IF*/if ((((T0*)ms78_473))==((void*)(a3))) {
  2214. r892routine_mapping_jvm(((T892*)a1));
  2215. }
  2216.  else if ((((T0*)ms79_473))==((void*)(a3))) {
  2217. r892routine_mapping_jvm(((T892*)a1));
  2218. }
  2219.  else if ((((T0*)ms135_473))==((void*)(a3))) {
  2220. r85fe_nyi(a1);
  2221. }
  2222.  else if ((((T0*)ms98_473))==((void*)(a3))) {
  2223. r228drop_target(((T228*)(oBC364jvm)));
  2224. _ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
  2225. r85jvm_object_size(_ct);
  2226. }
  2227.  else if (((((T0*)ms84_473))==((void*)(a3)))||((((T0*)ms122_473))==((void*)(a3)))) {
  2228. r85jvm_standard_is_equal((((T892*)((T892*)a1)))->_current_type/*4*/);
  2229. }
  2230.  else if ((((T0*)ms123_473))==((void*)(a3))) {
  2231. r85jvm_standard_twin((((T892*)((T892*)a1)))->_current_type/*4*/);
  2232. }
  2233.  else if ((((T0*)ms139_473))==((void*)(a3))) {
  2234. _ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
  2235. _rc=X291run_class(_ct);
  2236. _rf=r355get_copy(((T355*)_rc));
  2237. _rf7=_rf;
  2238. if(NULL!=(_rf7))switch(((T0*)_rf7)->id) {
  2239. case 906: 
  2240. break;
  2241. default:
  2242. _rf7=NULL;
  2243. };/*IF*/if ((_rf7)!=((void*)(NULL))) {
  2244. r85jvm_standard_twin(_ct);
  2245. }
  2246. else {
  2247. r892routine_mapping_jvm(((T892*)a1));
  2248. }
  2249. /*FI*/}
  2250.  else if ((((T0*)ms82_473))==((void*)(a3))) {
  2251. r228drop_target(((T228*)(oBC364jvm)));
  2252. /*IF*/if (X291is_basic_eiffel_expanded((((T892*)((T892*)a1)))->_current_type/*4*/)) {
  2253. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  2254. /*]*/
  2255. }
  2256. else {
  2257. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  2258. /*]*/
  2259. }
  2260. /*FI*/}
  2261.  else if ((((T0*)ms83_473))==((void*)(a3))) {
  2262. r228drop_target(((T228*)(oBC364jvm)));
  2263. /*IF*/if (X291is_expanded((((T892*)((T892*)a1)))->_current_type/*4*/)) {
  2264. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  2265. /*]*/
  2266. }
  2267. else {
  2268. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  2269. /*]*/
  2270. }
  2271. /*FI*/}
  2272.  else if ((((T0*)ms110_473))==((void*)(a3))) {
  2273. /*[IRF3.2push_se_argc*/{T0* _ca=NULL;
  2274. _ca=oBC364code_attribute;
  2275. r256opcode_getstatic(((T256*)_ca),r228args_field_idx(),1);
  2276. /*[IRF3.4opcode_arraylength*/r256opcode(((T256*)_ca),190,0);
  2277. /*]*/
  2278. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  2279. /*]*/
  2280. /*[IRF3.4opcode_iadd*/r256opcode(((T256*)_ca),96,-(1));
  2281. /*]*/
  2282. }/*]*/
  2283. }
  2284.  else if ((((T0*)ms111_473))==((void*)(a3))) {
  2285. r228push_se_argv(((T228*)(oBC364jvm)));
  2286. }
  2287.  else if ((((T0*)ms112_473))==((void*)(a3))) {
  2288. /*[IRF3.2jvm_se_getenv*/{T0* _ca=NULL;
  2289. T0* _cp=NULL;
  2290. int _idx=0;
  2291. int _point1=0;
  2292. int _space=0;
  2293. _cp=oBC364constant_pool;
  2294. _ca=oBC364code_attribute;
  2295. _idx=r95idx_class2(((T95*)_cp),((T0*)ms164_470));
  2296. r256opcode_new(((T256*)_ca),_idx);
  2297. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  2298. /*]*/
  2299. _space=r228push_ith_argument(((T228*)(oBC364jvm)),2);
  2300. /*[IRF3.4opcode_iconst_0*/r256opcode(((T256*)_ca),3,1);
  2301. /*]*/
  2302. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  2303. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms164_470),((T0*)ms167_470),((T0*)ms191_470));
  2304. r256opcode_invokespecial(((T256*)_ca),_idx,-(2));
  2305. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms168_470),((T0*)ms205_470),((T0*)ms206_470));
  2306. r256opcode_invokestatic(((T256*)_ca),_idx,0);
  2307. /*[IRF3.4opcode_dup*/r256opcode(((T256*)_ca),89,1);
  2308. /*]*/
  2309. _point1=r256opcode_ifeq(((T256*)_ca));
  2310. r256opcode_java_string2eiffel_string(((T256*)_ca));
  2311. r256resolve_u2_branch(_point1);
  2312. }/*]*/
  2313. }
  2314. else {
  2315. r85fe_nyi(a1);
  2316. }
  2317. /*FI*/}
  2318.  else if ((((T0*)ms20_473))==((void*)(a2))) {
  2319. r228drop_target(((T228*)(oBC364jvm)));
  2320. /*IF*/if ((((T0*)ms56_473))==((void*)(a3))) {
  2321. r256opcode_bipush(((T256*)_ca),8);
  2322. }
  2323.  else if ((((T0*)ms81_473))==((void*)(a3))) {
  2324. r256opcode_bipush(((T256*)_ca),32);
  2325. }
  2326.  else if ((((T0*)ms53_473))==((void*)(a3))) {
  2327. r256opcode_bipush(((T256*)_ca),32);
  2328. }
  2329.  else if ((((T0*)ms108_473))==((void*)(a3))) {
  2330. r256opcode_bipush(((T256*)_ca),32);
  2331. }
  2332.  else if ((((T0*)ms67_473))==((void*)(a3))) {
  2333. r256opcode_bipush(((T256*)_ca),64);
  2334. }
  2335.  else if ((((T0*)ms99_473))==((void*)(a3))) {
  2336. r256opcode_bipush(((T256*)_ca),32);
  2337. }
  2338.  else if ((((T0*)ms90_473))==((void*)(a3))) {
  2339. r256opcode_bipush(((T256*)_ca),0);
  2340. }
  2341.  else if ((((T0*)ms91_473))==((void*)(a3))) {
  2342. _idx=r95idx_fieldref3(((T95*)_cp),((T0*)ms188_470),((T0*)ms224_470),((T0*)ms203_470));
  2343. r256opcode_getstatic(((T256*)_ca),_idx,2);
  2344. }
  2345.  else if ((((T0*)ms92_473))==((void*)(a3))) {
  2346. /*[IRF3.4opcode_iconst_m1*/r256opcode(((T256*)_ca),2,1);
  2347. /*]*/
  2348. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  2349. /*]*/
  2350. /*[IRF3.4opcode_iushr*/r256opcode(((T256*)_ca),124,-(1));
  2351. /*]*/
  2352. /*[IRF3.4opcode_ineg*/r256opcode(((T256*)_ca),116,0);
  2353. /*]*/
  2354. /*[IRF3.4opcode_iconst_m1*/r256opcode(((T256*)_ca),2,1);
  2355. /*]*/
  2356. /*[IRF3.4opcode_iadd*/r256opcode(((T256*)_ca),96,-(1));
  2357. /*]*/
  2358. }
  2359.  else if ((((T0*)ms93_473))==((void*)(a3))) {
  2360. _idx=r95idx_fieldref3(((T95*)_cp),((T0*)ms158_470),((T0*)ms224_470),((T0*)ms204_470));
  2361. r256opcode_getstatic(((T256*)_ca),_idx,1);
  2362. }
  2363.  else if ((((T0*)ms94_473))==((void*)(a3))) {
  2364. r256opcode_sipush(((T256*)_ca),255);
  2365. }
  2366.  else if ((((T0*)ms95_473))==((void*)(a3))) {
  2367. _idx=r95idx_fieldref3(((T95*)_cp),((T0*)ms188_470),((T0*)ms221_470),((T0*)ms203_470));
  2368. r256opcode_getstatic(((T256*)_ca),_idx,2);
  2369. }
  2370.  else if ((((T0*)ms96_473))==((void*)(a3))) {
  2371. /*[IRF3.4opcode_iconst_m1*/r256opcode(((T256*)_ca),2,1);
  2372. /*]*/
  2373. /*[IRF3.4opcode_iconst_1*/r256opcode(((T256*)_ca),4,1);
  2374. /*]*/
  2375. /*[IRF3.4opcode_iushr*/r256opcode(((T256*)_ca),124,-(1));
  2376. /*]*/
  2377. }
  2378.  else if ((((T0*)ms97_473))==((void*)(a3))) {
  2379. _idx=r95idx_fieldref3(((T95*)_cp),((T0*)ms158_470),((T0*)ms221_470),((T0*)ms204_470));
  2380. r256opcode_getstatic(((T256*)_ca),_idx,1);
  2381. }
  2382. /*FI*/}
  2383.  else if ((((T0*)ms71_473))==((void*)(a3))) {
  2384. /*[IRF3.4opcode_iconst_m1*/r256opcode(((T256*)_ca),2,1);
  2385. /*]*/
  2386. }
  2387.  else if ((((T0*)ms117_473))==((void*)(a3))) {
  2388. r892routine_mapping_jvm(((T892*)a1));
  2389. }
  2390.  else if ((((T0*)ms118_473))==((void*)(a3))) {
  2391. r892routine_mapping_jvm(((T892*)a1));
  2392. }
  2393.  else if ((((T0*)ms115_473))==((void*)(a3))) {
  2394. r892routine_mapping_jvm(((T892*)a1));
  2395. }
  2396.  else if ((((T0*)ms100_473))==((void*)(a3))) {
  2397. r256opcode_bipush(((T256*)_ca),32);
  2398. }
  2399.  else if ((((T0*)ms4_473))==((void*)(a2))) {
  2400. r85jvm_mapping_bit_function(a1,a3);
  2401. }
  2402.  else if ((((T0*)ms52_473))==((void*)(a3))) {
  2403. r228push_target(((T228*)(oBC364jvm)));
  2404. _ct=(((T892*)((T892*)a1)))->_current_type/*4*/;
  2405. _rc=X291run_class(_ct);
  2406. _idx=r355fully_qualified_constant_pool_index(((T355*)_rc));
  2407. _idx=r95idx_fieldref4(((T95*)_cp),_idx,((T0*)ms52_473),((T0*)ms235_470));
  2408. r256opcode_getfield(((T256*)_ca),_idx,0);
  2409. }
  2410.  else if ((((T0*)ms107_473))==((void*)(a3))) {
  2411. _space=r228push_ith_argument(((T228*)(oBC364jvm)),1);
  2412. _idx=r95idx_methodref3(((T95*)_cp),((T0*)ms195_470),((T0*)ms196_470),((T0*)ms197_470));
  2413. r256opcode_invokevirtual(((T256*)_ca),_idx,0);
  2414. }
  2415. else {
  2416. r85fe_nyi(a1);
  2417. }
  2418. /*FI*/}
  2419. /*No:NATIVE_SMALL_EIFFEL.us_se_argv*/
  2420. /*No:NATIVE_SMALL_EIFFEL.us_or*/
  2421. /*No:NATIVE_SMALL_EIFFEL.us_maximum_double*/
  2422. /*No:NATIVE_SMALL_EIFFEL.us_to_real*/
  2423. /*No:NATIVE_SMALL_EIFFEL.us_general*/
  2424. /*No:CALL_INFIX_MINUS.arguments*/
  2425. T0* r574add_comment(T574* C,T0* a1){
  2426. T0* R=NULL;
  2427. /*IF*/if (((a1)==((void*)(NULL)))||((/*(IRF4.6count*/r52count(((T52*)((((T393*)((T393*)a1)))->_list/*4*/)))/*)*/)==(0))) {
  2428. R=(T0*)C;
  2429. }
  2430. else {
  2431. {T529*n=malloc(sizeof(*n));
  2432. *n=M529;
  2433. r529make(n,(T0*)C,a1);
  2434. R=(T0*)n;
  2435. }
  2436. }
  2437. /*FI*/return R;
  2438. }
  2439. int r574to_integer(T574* C){
  2440. int R=0;
  2441. r574error(/*(IRF4.6start_position*/(((T454*)((T454*)((((T574*)C))->_feature_name/*28*/))))->_start_position/*8*//*)*/,((T0*)ms69_470));
  2442. return R;
  2443. }
  2444. int r574is_a(T574* C,T0* a1){
  2445. int R=0;
  2446. R=X291is_a(X291run_type((((T574*)C))->_result_type/*20*/),X291run_type(X662result_type(a1)));
  2447. /*IF*/if (!(R)) {
  2448. r683add_position(/*(IRF4.6start_position*/(((T454*)((T454*)((((T574*)C))->_feature_name/*28*/))))->_start_position/*8*//*)*/);
  2449. r574error(X662start_position(a1),((T0*)ms4_662));
  2450. }
  2451. /*FI*/return R;
  2452. }
  2453. /*No:CALL_INFIX_MINUS.is_current*/
  2454. /*No:CALL_INFIX_MINUS.jvm_branch_if_false*/
  2455. /*No:CALL_INFIX_MINUS.static_value*/
  2456. void r574make(T574* C,T0* a1,T0* a2,T0* a3){
  2457. T0* _eal=NULL;
  2458. /*IF*/if (((a1)==((void*)(NULL)))||((a3)==((void*)(NULL)))) {
  2459. r683add_position(a2);
  2460. /*[IRF3.6fatal_error*/{T0* b1=((T0*)ms1_618);
  2461. r683fatal_error(((T683*)(oBC364eh)),b1);
  2462. }/*]*/
  2463. }
  2464. /*FI*/{T454*n=malloc(sizeof(*n));
  2465. *n=M454;
  2466. r454make(n,r574operator(),a2);
  2467. C->_feature_name=(T0*)n;
  2468. }
  2469. {T431*n=malloc(sizeof(*n));
  2470. *n=M431;
  2471. /*[IRF3.3make*/((((T431*)(n)))->_list)=(se_ma96(1,a3));
  2472. /*]*/
  2473. _eal=(T0*)n;
  2474. }
  2475. r574make_call_1(C,a1,(((T574*)C))->_feature_name/*28*/,_eal);
  2476. }
  2477. /*No:CALL_INFIX_MINUS.nb_errors*/
  2478. /*No:CALL_INFIX_MINUS.feature_name*/
  2479. /*No:CALL_INFIX_MINUS.compile_to_jvm_assignment*/
  2480. /*No:CALL_INFIX_MINUS.fz_iinaiv*/
  2481. /*No:CALL_INFIX_MINUS.arg_count*/
  2482. /*No:CALL_INFIX_MINUS.jvm_branch_if_true*/
  2483. /*No:CALL_INFIX_MINUS.run_feature*/
  2484. /*No:CALL_INFIX_MINUS.start_position*/
  2485. void r574compile_to_jvm_old(T574* C){
  2486. X662compile_to_jvm_old((((T574*)C))->_target/*12*/);
  2487. /*IF*/{/*AT*/r431compile_to_jvm_old(((T431*)((((T574*)C))->_arguments/*24*/)));
  2488. }
  2489. /*FI*/}
  2490. /*No:CALL_INFIX_MINUS.target*/
  2491. T0* r574to_runnable(T574* C,T0* a1){
  2492. T0* R=NULL;
  2493. T0* _tla=NULL;
  2494. T0* _a=NULL;
  2495. /*IF*/if (((((T574*)C))->_current_type/*8*/)==((void*)(NULL))) {
  2496. r574to_runnable_0(C,a1);
  2497. _a=r431to_runnable(((T431*)((((T574*)C))->_arguments/*24*/)),a1);
  2498. /*IF*/if ((_a)==((void*)(NULL))) {
  2499. r574error(X662start_position(/*(IRF4.6arg1*/r431first(((T431*)((((T574*)C))->_arguments/*24*/)))/*)*/),((T0*)ms55_470));
  2500. }
  2501. else {
  2502. C->_arguments=_a;
  2503. }
  2504. /*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
  2505. r431match_with(((T431*)((((T574*)C))->_arguments/*24*/)),(((T574*)C))->_run_feature/*16*/);
  2506. }
  2507. /*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
  2508. _tla=(((T574*)C))->_result_type/*20*/;
  2509. if(NULL!=(_tla))switch(((T0*)_tla)->id) {
  2510. case 239: 
  2511. break;
  2512. default:
  2513. _tla=NULL;
  2514. };/*IF*/if ((_tla)!=((void*)(NULL))) {
  2515. C->_result_type=X291run_type(X662result_type(/*(IRF4.6arg1*/r431first(((T431*)((((T574*)C))->_arguments/*24*/)))/*)*/));
  2516. }
  2517. /*FI*/}
  2518. /*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
  2519. R=(T0*)C;
  2520. }
  2521. /*FI*/}
  2522. else {
  2523. R=r574twin(C);
  2524. /*[IRF3.3set_current_type*/((((T574*)(((T574*)R))))->_current_type)=(NULL);
  2525. /*]*/
  2526. R=r574to_runnable(((T574*)R),a1);
  2527. }
  2528. /*FI*/return R;
  2529. }
  2530. /*No:CALL_INFIX_MINUS.result_type*/
  2531. /*No:CALL_INFIX_MINUS.is_result*/
  2532. T0* r574twin(T574* C){
  2533. T0* R=NULL;
  2534. R=malloc(sizeof(*C));
  2535. *((T574*)R)=*C;
  2536. return R;
  2537. }
  2538. /*No:CALL_INFIX_MINUS.set_current_type*/
  2539. T0* r574operator(void){
  2540. T0* R=NULL;
  2541. R=((T0*)ms37_473);
  2542. return R;
  2543. }
  2544. int r574is_static(T574* C){
  2545. int R=0;
  2546. /*IF*/if (X291is_integer((((T574*)C))->_result_type/*20*/)) {
  2547. /*IF*/if ((X662is_static((((T574*)C))->_target/*12*/))&&(X662is_static(/*(IRF4.6arg1*/r431first(((T431*)((((T574*)C))->_arguments/*24*/)))/*)*/))) {
  2548. R=1;
  2549. C->_static_value_mem=(X662static_value((((T574*)C))->_target/*12*/))-(X662static_value(/*(IRF4.6arg1*/r431first(((T431*)((((T574*)C))->_arguments/*24*/)))/*)*/));
  2550. }
  2551. /*FI*/}
  2552. /*FI*/return R;
  2553. }
  2554. void r574standard_compile_target_to_jvm(T574* C){
  2555. /*[IRF3.4compile_to_jvm*//*[IRF3.6call_proc_call_c2jvm*/{T574* C1=C;
  2556. r228b_put_cpc(((T228*)(oBC364jvm)),(T0*)C1);
  2557. }/*]*/
  2558. /*]*/
  2559. X291jvm_check_class_invariant((((T574*)C))->_result_type/*20*/);
  2560. }
  2561. int r574compile_to_jvm_into(T574* C,T0* a1){
  2562. int R=0;
  2563. R=r574standard_compile_to_jvm_into(C,a1);
  2564. return R;
  2565. }
  2566. /*No:CALL_INFIX_MINUS.compile_target_to_jvm*/
  2567. /*No:CALL_INFIX_MINUS.fz_07*/
  2568. /*No:CALL_INFIX_MINUS.can_be_dropped*/
  2569. /*No:CALL_INFIX_MINUS.us_minus*/
  2570. /*No:CALL_INFIX_MINUS.current_type*/
  2571. /*No:CALL_INFIX_MINUS.jvm_assign*/
  2572. /*No:CALL_INFIX_MINUS.static_value_mem*/
  2573. void r574make_call_1(T574* C,T0* a1,T0* a2,T0* a3){
  2574. C->_target=a1;
  2575. C->_feature_name=a2;
  2576. C->_arguments=a3;
  2577. }
  2578. /*No:CALL_INFIX_MINUS.is_manifest_string*/
  2579. /*No:CALL_INFIX_MINUS.is_void*/
  2580. int r574jvm_standard_branch_if_false(T574* C){
  2581. int R=0;
  2582. /*[IRF3.4compile_to_jvm*//*[IRF3.6call_proc_call_c2jvm*/{T574* C1=C;
  2583. r228b_put_cpc(((T228*)(oBC364jvm)),(T0*)C1);
  2584. }/*]*/
  2585. /*]*/
  2586. R=r256opcode_ifeq(((T256*)(oBC364code_attribute)));
  2587. return R;
  2588. }
  2589. /*No:CALL_INFIX_MINUS.compile_to_jvm*/
  2590. void r574to_runnable_0(T574* C,T0* a1){
  2591. C->_current_type=a1;
  2592. r574cpc_to_runnable(C,a1);
  2593. C->_result_type=/*X496*/((T0*)(((T832*)((T832*)((((T574*)C))->_run_feature/*16*/))))->_result_type/*24*/);
  2594. /*IF*/if (((((T574*)C))->_result_type/*20*/)==((void*)(NULL))) {
  2595. r683add_position(X496start_position((((T574*)C))->_run_feature/*16*/));
  2596. r574error((((T454*)((T454*)((((T574*)C))->_feature_name/*28*/))))->_start_position/*8*/,((T0*)ms1_295));
  2597. }
  2598.  else if (X291is_like_current((((T574*)C))->_result_type/*20*/)) {
  2599. C->_result_type=X662result_type((((T574*)C))->_target/*12*/);
  2600. }
  2601. /*FI*/}
  2602. /*No:CALL_INFIX_MINUS.is_pre_computable*/
  2603. int r574jvm_standard_branch_if_true(T574* C){
  2604. int R=0;
  2605. /*[IRF3.4compile_to_jvm*//*[IRF3.6call_proc_call_c2jvm*/{T574* C1=C;
  2606. r228b_put_cpc(((T228*)(oBC364jvm)),(T0*)C1);
  2607. }/*]*/
  2608. /*]*/
  2609. R=r256opcode_ifne(((T256*)(oBC364code_attribute)));
  2610. return R;
  2611. }
  2612. int r574use_current(T574* C){
  2613. int R=0;
  2614. /*IF*/{/*AT*/R=r431use_current(((T431*)((((T574*)C))->_arguments/*24*/)));
  2615. }
  2616. /*FI*//*IF*/if (R) {
  2617. }
  2618.  else if (X662is_current((((T574*)C))->_target/*12*/)) {
  2619. R=X496use_current((((T574*)C))->_run_feature/*16*/);
  2620. }
  2621. else {
  2622. R=X662use_current((((T574*)C))->_target/*12*/);
  2623. }
  2624. /*FI*/return R;
  2625. }
  2626. void r574cpc_to_runnable(T574* C,T0* a1){
  2627. T0* _rc=NULL;
  2628. T0* _t=NULL;
  2629. _t=X662to_runnable((((T574*)C))->_target/*12*/,a1);
  2630. /*IF*/if ((_t)==((void*)(NULL))) {
  2631. r683add_position(X662start_position((((T574*)C))->_target/*12*/));
  2632. /*[IRF3.6fatal_error*/{T0* b1=((T0*)ms2_135);
  2633. r683fatal_error(((T683*)(oBC364eh)),b1);
  2634. }/*]*/
  2635. }
  2636. /*FI*/C->_target=_t;
  2637. _rc=X291run_class(X662result_type((((T574*)C))->_target/*12*/));
  2638. C->_run_feature=r355get_rf(((T355*)_rc),(T0*)C);
  2639. r576update((((T574*)C))->_target/*12*/,(((T574*)C))->_run_feature/*16*/);
  2640. }
  2641. void r574error(T0* a1,T0* a2){
  2642. r683add_position(a1);
  2643. r683error(((T683*)(oBC364eh)),a2);
  2644. }
  2645. int r574isa_dca_inline_argument(T574* C){
  2646. int R=0;
  2647. R=X662isa_dca_inline_argument((((T574*)C))->_target/*12*/);
  2648. /*IF*/if ((R)==(-(1))) {
  2649. R=X662isa_dca_inline_argument(/*(IRF4.6arg1*/r431first(((T431*)((((T574*)C))->_arguments/*24*/)))/*)*/);
  2650. }
  2651.  else if ((R)>(0)) {
  2652. /*IF*/if ((X662isa_dca_inline_argument(/*(IRF4.6arg1*/r431first(((T431*)((((T574*)C))->_arguments/*24*/)))/*)*/))>=(0)) {
  2653. R=0;
  2654. }
  2655. /*FI*/}
  2656. /*FI*/return R;
  2657. }
  2658. /*No:CALL_INFIX_MINUS.fatal_error*/
  2659. /*No:CALL_INFIX_MINUS.fz_bad_argument*/
  2660. /*No:CALL_INFIX_MINUS.arg1*/
  2661. int r574standard_compile_to_jvm_into(T574* C,T0* a1){
  2662. int R=0;
  2663. /*[IRF3.4compile_to_jvm*//*[IRF3.6call_proc_call_c2jvm*/{T574* C1=C;
  2664. r228b_put_cpc(((T228*)(oBC364jvm)),(T0*)C1);
  2665. }/*]*/
  2666. /*]*/
  2667. R=X291jvm_convert_to(X291run_type((((T574*)C))->_result_type/*20*/),a1);
  2668. return R;
  2669. }
  2670. /*No:CALL_INFIX_MINUS.call_proc_call_c2jvm*/
  2671. void r574afd_check(T574* C){
  2672. T0* _running=NULL;
  2673. T0* _rc=NULL;
  2674. _rc=X291run_class(X662result_type((((T574*)C))->_target/*12*/));
  2675. _running=(((T355*)((T355*)_rc)))->_running/*12*/;
  2676. /*IF*/if ((_running)==((void*)(NULL))) {
  2677. r683add_position(X662start_position((((T574*)C))->_target/*12*/));
  2678. /*[IRF3.6append*/{T0* b1=((T0*)ms1_135);
  2679. r7append(((T7*)(oBC683explanation)),b1);
  2680. }/*]*/
  2681. /*[IRF3.6append*/{T0* b1=X291run_time_mark((((T355*)((T355*)_rc)))->_current_type/*0*/);
  2682. r7append(((T7*)(oBC683explanation)),b1);
  2683. }/*]*/
  2684. /*[IRF3.6append*/{T0* b1=((T0*)ms141_470);
  2685. r7append(((T7*)(oBC683explanation)),b1);
  2686. }/*]*/
  2687. r683print_as_warning(((T683*)(oBC364eh)));
  2688. r355set_at_run_time(((T355*)_rc));
  2689. }
  2690.  else if ((r396count(((T396*)_running)))>(0)) {
  2691. r576update((((T574*)C))->_target/*12*/,(((T574*)C))->_run_feature/*16*/);
  2692. }
  2693. /*FI*/X662afd_check((((T574*)C))->_target/*12*/);
  2694. /*IF*/{/*AT*/r431afd_check(((T431*)((((T574*)C))->_arguments/*24*/)));
  2695. }
  2696. /*FI*/}
  2697. void r576update_with(T0* a1){
  2698. T0* _running=NULL;
  2699. T0* _dictionary2=NULL;
  2700. T0* _key2=NULL;
  2701. T0* _key1=NULL;
  2702. T0* _current_type=NULL;
  2703. _current_type=/*X496*/((T0*)(((T832*)((T832*)a1)))->_current_type/*4*/);
  2704. _running=(((T355*)((T355*)(X291run_class(_current_type)))))->_running/*12*/;
  2705. /*IF*/if (((_running)!=((void*)(NULL)))&&((r396count(((T396*)_running)))>(1))) {
  2706. _key1=X291run_time_mark(_current_type);
  2707. _key2=X776to_key(/*X496*/((T0*)(((T832*)((T832*)a1)))->_name/*16*/));
  2708. /*IF*/if (r338has(((T338*)(oBC576dictionary)),_key1)) {
  2709. _dictionary2=r338at(((T338*)(oBC576dictionary)),_key1);
  2710. /*IF*/if (!(r199has(((T199*)_dictionary2),_key2))) {
  2711. r199put(((T199*)_dictionary2),a1,_key2);
  2712. }
  2713. /*FI*/}
  2714. else {
  2715. {T199*n=malloc(sizeof(*n));
  2716. *n=M199;
  2717. r199make(n);
  2718. _dictionary2=(T0*)n;
  2719. }
  2720. r199put(((T199*)_dictionary2),a1,_key2);
  2721. r338put(((T338*)(oBC576dictionary)),_dictionary2,_key1);
  2722. }
  2723. /*FI*/}
  2724. /*FI*/}
  2725. /*No:SWITCH_COLLECTION.falling_down*/
  2726. void r576update(T0* a1,T0* a2){
  2727. T0* _running=NULL;
  2728. T0* _current_type=NULL;
  2729. /*IF*/if (X662is_current(a1)) {
  2730. }
  2731.  else if (X662is_manifest_string(a1)) {
  2732. }
  2733. else {
  2734. _current_type=/*X496*/((T0*)(((T832*)((T832*)a2)))->_current_type/*4*/);
  2735. /*IF*/if (X291is_reference(_current_type)) {
  2736. _running=(((T355*)((T355*)(X291run_class(_current_type)))))->_running/*12*/;
  2737. /*IF*/if (((_running)!=((void*)(NULL)))&&((r396count(((T396*)_running)))>(1))) {
  2738. r576update_with(a2);
  2739. }
  2740. /*FI*/}
  2741. /*FI*/}
  2742. /*FI*/}
  2743. T0*oBC576dictionary=NULL;
  2744. /*No:SWITCH_COLLECTION.jvm_define*/
  2745. /*No:METHOD_INFO.access_flags*/
  2746. void r506start(T506* C,int a1,T0* a2,T0* a3){
  2747. r256clear(((T256*)(oBC364code_attribute)));
  2748. C->_count=((((T506*)C))->_count/*0*/)+(1);
  2749. C->_access_flags=a1;
  2750. C->_name_index=r95idx_uft8(((T95*)(oBC364constant_pool)),a2);
  2751. C->_descriptor_index=r95idx_uft8(((T95*)(oBC364constant_pool)),a3);
  2752. }
  2753. /*No:METHOD_INFO.append_u1*/
  2754. void r506append_u2(T0* a1,int a2){
  2755. /*[IRF3.6append_u1*/{T0* b1=a1;
  2756. int b2=(a2)/(256);
  2757. r7extend(((T7*)b1),((char)(b2)));
  2758. }/*]*/
  2759. /*[IRF3.6append_u1*/{T0* b1=a1;
  2760. int b2=(a2)%(256);
  2761. r7extend(((T7*)b1),((char)(b2)));
  2762. }/*]*/
  2763. }
  2764. void r506finish(T506* C){
  2765. r506append_u2(oBC506storage,(((T506*)C))->_access_flags/*4*/);
  2766. r506append_u2(oBC506storage,(((T506*)C))->_name_index/*8*/);
  2767. r506append_u2(oBC506storage,(((T506*)C))->_descriptor_index/*12*/);
  2768. r506append_u2(oBC506storage,1);
  2769. r256store_in(((T256*)(oBC364code_attribute)),oBC506storage);
  2770. }
  2771. void r506clear(T506* C){
  2772. C->_count=0;
  2773. /*[IRF3.3clear*/((((T7*)(((T7*)(oBC506storage)))))->_count)=(0);
  2774. /*]*/
  2775. }
  2776. T0*oBC506storage=NULL;
  2777. /*No:METHOD_INFO.name_index*/
  2778. /*No:METHOD_INFO.count*/
  2779. void r506write_bytes(T506* C){
  2780. r306print_count(((T306*)(oBC364echo)),((T0*)ms1_506),(((T506*)C))->_count/*0*/);
  2781. r228b_put_u2(((T228*)(oBC364jvm)),(((T506*)C))->_count/*0*/);
  2782. r228b_put_byte_string(((T228*)(oBC364jvm)),oBC506storage);
  2783. }
  2784. /*No:METHOD_INFO.descriptor_index*/
  2785. /*No:CALL_INFIX_IMPLIES.arguments*/
  2786. T0* r90add_comment(T90* C,T0* a1){
  2787. T0* R=NULL;
  2788. /*IF*/if (((a1)==((void*)(NULL)))||((/*(IRF4.6count*/r52count(((T52*)((((T393*)((T393*)a1)))->_list/*4*/)))/*)*/)==(0))) {
  2789. R=(T0*)C;
  2790. }
  2791. else {
  2792. {T529*n=malloc(sizeof(*n));
  2793. *n=M529;
  2794. r529make(n,(T0*)C,a1);
  2795. R=(T0*)n;
  2796. }
  2797. }
  2798. /*FI*/return R;
  2799. }
  2800. int r90to_integer(T90* C){
  2801. int R=0;
  2802. r90error(/*(IRF4.6start_position*/(((T454*)((T454*)((((T90*)C))->_feature_name/*28*/))))->_start_position/*8*//*)*/,((T0*)ms69_470));
  2803. return R;
  2804. }
  2805. int r90is_a(T90* C,T0* a1){
  2806. int R=0;
  2807. R=X291is_a(X291run_type((((T90*)C))->_result_type/*20*/),X291run_type(X662result_type(a1)));
  2808. /*IF*/if (!(R)) {
  2809. r683add_position(/*(IRF4.6start_position*/(((T454*)((T454*)((((T90*)C))->_feature_name/*28*/))))->_start_position/*8*//*)*/);
  2810. r90error(X662start_position(a1),((T0*)ms4_662));
  2811. }
  2812. /*FI*/return R;
  2813. }
  2814. /*No:CALL_INFIX_IMPLIES.is_current*/
  2815. /*No:CALL_INFIX_IMPLIES.jvm_branch_if_false*/
  2816. /*No:CALL_INFIX_IMPLIES.static_value*/
  2817. void r90make(T90* C,T0* a1,T0* a2,T0* a3){
  2818. T0* _eal=NULL;
  2819. /*IF*/if (((a1)==((void*)(NULL)))||((a3)==((void*)(NULL)))) {
  2820. r683add_position(a2);
  2821. /*[IRF3.6fatal_error*/{T0* b1=((T0*)ms1_618);
  2822. r683fatal_error(((T683*)(oBC364eh)),b1);
  2823. }/*]*/
  2824. }
  2825. /*FI*/{T454*n=malloc(sizeof(*n));
  2826. *n=M454;
  2827. r454make(n,r90operator(),a2);
  2828. C->_feature_name=(T0*)n;
  2829. }
  2830. {T431*n=malloc(sizeof(*n));
  2831. *n=M431;
  2832. /*[IRF3.3make*/((((T431*)(n)))->_list)=(se_ma96(1,a3));
  2833. /*]*/
  2834. _eal=(T0*)n;
  2835. }
  2836. r90make_call_1(C,a1,(((T90*)C))->_feature_name/*28*/,_eal);
  2837. }
  2838. /*No:CALL_INFIX_IMPLIES.nb_errors*/
  2839. /*No:CALL_INFIX_IMPLIES.feature_name*/
  2840. /*No:CALL_INFIX_IMPLIES.compile_to_jvm_assignment*/
  2841. /*No:CALL_INFIX_IMPLIES.fz_iinaiv*/
  2842. /*No:CALL_INFIX_IMPLIES.arg_count*/
  2843. /*No:CALL_INFIX_IMPLIES.jvm_branch_if_true*/
  2844. /*No:CALL_INFIX_IMPLIES.run_feature*/
  2845. /*No:CALL_INFIX_IMPLIES.start_position*/
  2846. void r90compile_to_jvm_old(T90* C){
  2847. X662compile_to_jvm_old((((T90*)C))->_target/*12*/);
  2848. /*IF*/{/*AT*/r431compile_to_jvm_old(((T431*)((((T90*)C))->_arguments/*24*/)));
  2849. }
  2850. /*FI*/}
  2851. /*No:CALL_INFIX_IMPLIES.target*/
  2852. T0* r90to_runnable(T90* C,T0* a1){
  2853. T0* R=NULL;
  2854. T0* _tla=NULL;
  2855. T0* _a=NULL;
  2856. /*IF*/if (((((T90*)C))->_current_type/*8*/)==((void*)(NULL))) {
  2857. r90to_runnable_0(C,a1);
  2858. _a=r431to_runnable(((T431*)((((T90*)C))->_arguments/*24*/)),a1);
  2859. /*IF*/if ((_a)==((void*)(NULL))) {
  2860. r90error(X662start_position(/*(IRF4.6arg1*/r431first(((T431*)((((T90*)C))->_arguments/*24*/)))/*)*/),((T0*)ms55_470));
  2861. }
  2862. else {
  2863. C->_arguments=_a;
  2864. }
  2865. /*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
  2866. r431match_with(((T431*)((((T90*)C))->_arguments/*24*/)),(((T90*)C))->_run_feature/*16*/);
  2867. }
  2868. /*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
  2869. _tla=(((T90*)C))->_result_type/*20*/;
  2870. if(NULL!=(_tla))switch(((T0*)_tla)->id) {
  2871. case 239: 
  2872. break;
  2873. default:
  2874. _tla=NULL;
  2875. };/*IF*/if ((_tla)!=((void*)(NULL))) {
  2876. C->_result_type=X291run_type(X662result_type(/*(IRF4.6arg1*/r431first(((T431*)((((T90*)C))->_arguments/*24*/)))/*)*/));
  2877. }
  2878. /*FI*/}
  2879. /*FI*//*IF*/if ((/*(IRF4.9nb_errors*/(((T683*)((T683*)(oBC364eh))))->_nb_errors/*0*//*)*/)==(0)) {
  2880. R=(T0*)C;
  2881. }
  2882. /*FI*/}
  2883. else {
  2884. R=r90twin(C);
  2885. /*[IRF3.3set_current_type*/((((T90*)(((T90*)R))))->_current_type)=(NULL);
  2886. /*]*/
  2887. R=r90to_runnable(((T90*)R),a1);
  2888. }
  2889. /*FI*/return R;
  2890. }
  2891. /*No:CALL_INFIX_IMPLIES.result_type*/
  2892. /*No:CALL_INFIX_IMPLIES.is_result*/
  2893. T0* r90twin(T90* C){
  2894. T0* R=NULL;
  2895. R=malloc(sizeof(*C));
  2896. *((T90*)R)=*C;
  2897. return R;
  2898. }
  2899. /*No:CALL_INFIX_IMPLIES.set_current_type*/
  2900. T0* r90operator(void){
  2901. T0* R=NULL;
  2902. R=((T0*)ms34_473);
  2903. return R;
  2904. }
  2905. int r90is_static(T90* C){
  2906. int R=0;
  2907. /*IF*/if (X291is_boolean(X662result_type((((T90*)C))->_target/*12*/))) {
  2908. /*IF*/if (X662is_static((((T90*)C))->_target/*12*/)) {
  2909. /*IF*/if ((X662static_value((((T90*)C))->_target/*12*/))==(0)) {
  2910. R=1;
  2911. C->_static_value_mem=1;
  2912. }
  2913.  else if (X662is_static(/*(IRF4.6arg1*/r431first(((T431*)((((T90*)C))->_arguments/*24*/)))/*)*/)) {
  2914. R=1;
  2915. C->_static_value_mem=X662static_value(/*(IRF4.6arg1*/r431first(((T431*)((((T90*)C))->_arguments/*24*/)))/*)*/);
  2916. }
  2917. /*FI*/}
  2918. /*FI*/}
  2919. /*FI*/return R;
  2920. }
  2921. void r90standard_compile_target_to_jvm(T90* C){
  2922. /*[IRF3.4compile_to_jvm*//*[IRF3.6call_proc_call_c2jvm*/{T90* C1=C;
  2923. r228b_put_cpc(((T228*)(oBC364jvm)),(T0*)C1);
  2924. }/*]*/
  2925. /*]*/
  2926. X291jvm_check_class_invariant((((T90*)C))->_result_type/*20*/);
  2927. }
  2928. int r90compile_to_jvm_into(T90* C,T0* a1){
  2929. int R=0;
  2930. R=r90standard_compile_to_jvm_into(C,a1);
  2931. return R;
  2932. }
  2933. /*No:CALL_INFIX_IMPLIES.compile_target_to_jvm*/
  2934. /*No:CALL_INFIX_IMPLIES.us_implies*/
  2935. /*No:CALL_INFIX_IMPLIES.fz_07*/
  2936. /*No:CALL_INFIX_IMPLIES.can_be_dropped*/
  2937. /*No:CALL_INFIX_IMPLIES.current_type*/
  2938. /*No:CALL_INFIX_IMPLIES.jvm_assign*/
  2939. /*No:CALL_INFIX_IMPLIES.static_value_mem*/
  2940. void r90make_call_1(T90* C,T0* a1,T0* a2,T0* a3){
  2941. C->_target=a1;
  2942. C->_feature_name=a2;
  2943. C->_arguments=a3;
  2944. }
  2945. /*No:CALL_INFIX_IMPLIES.is_manifest_string*/
  2946. /*No:CALL_INFIX_IMPLIES.is_void*/
  2947. int r90jvm_standard_branch_if_false(T90* C){
  2948. int R=0;
  2949. /*[IRF3.4compile_to_jvm*//*[IRF3.6call_proc_call_c2jvm*/{T90* C1=C;
  2950. r228b_put_cpc(((T228*)(oBC364jvm)),(T0*)C1);
  2951. }/*]*/
  2952. /*]*/
  2953. R=r256opcode_ifeq(((T256*)(oBC364code_attribute)));
  2954. return R;
  2955. }
  2956. /*No:CALL_INFIX_IMPLIES.compile_to_jvm*/
  2957. void r90to_runnable_0(T90* C,T0* a1){
  2958. C->_current_type=a1;
  2959. r90cpc_to_runnable(C,a1);
  2960. C->_result_type=/*X496*/((T0*)(((T832*)((T832*)((((T90*)C))->_run_feature/*16*/))))->_result_type/*24*/);
  2961. /*IF*/if (((((T90*)C))->_result_type/*20*/)==((void*)(NULL))) {
  2962. r683add_position(X496start_position((((T90*)C))->_run_feature/*16*/));
  2963. r90error((((T454*)((T454*)((((T90*)C))->_feature_name/*28*/))))->_start_position/*8*/,((T0*)ms1_295));
  2964. }
  2965.  else if (X291is_like_current((((T90*)C))->_result_type/*20*/)) {
  2966. C->_result_type=X662result_type((((T90*)C))->_target/*12*/);
  2967. }
  2968. /*FI*/}
  2969. /*No:CALL_INFIX_IMPLIES.is_pre_computable*/
  2970. int r90jvm_standard_branch_if_true(T90* C){
  2971. int R=0;
  2972. /*[IRF3.4compile_to_jvm*//*[IRF3.6call_proc_call_c2jvm*/{T90* C1=C;
  2973. r228b_put_cpc(((T228*)(oBC364jvm)),(T0*)C1);
  2974. }/*]*/
  2975. /*]*/
  2976. R=r256opcode_ifne(((T256*)(oBC364code_attribute)));
  2977. return R;
  2978. }
  2979. int r90use_current(T90* C){
  2980. int R=0;
  2981. /*IF*/{/*AT*/R=r431use_current(((T431*)((((T90*)C))->_arguments/*24*/)));
  2982. }
  2983. /*FI*//*IF*/if (R) {
  2984. }
  2985.  else if (X662is_current((((T90*)C))->_target/*12*/)) {
  2986. R=X496use_current((((T90*)C))->_run_feature/*16*/);
  2987. }
  2988. else {
  2989. R=X662use_current((((T90*)C))->_target/*12*/);
  2990. }
  2991. /*FI*/return R;
  2992. }
  2993. void r90cpc_to_runnable(T90* C,T0* a1){
  2994. T0* _rc=NULL;
  2995. T0* _t=NULL;
  2996. _t=X662to_runnable((((T90*)C))->_target/*12*/,a1);
  2997. /*IF*/if ((_t)==((void*)(NULL))) {
  2998. r683add_position(X662start_position((((T90*)C))->_target/*12*/));
  2999. /*[IRF3.6fatal_error*/{T0* b1=((T0*)ms2_135);
  3000. r683fatal_error(((T683*)(oBC364eh)),b1);
  3001. }/*]*/
  3002. }
  3003. /*FI*/C->_target=_t;
  3004. _rc=X291run_class(X662result_type((((T90*)C))->_target/*12*/));
  3005. C->_run_feature=r355get_rf(((T355*)_rc),(T0*)C);
  3006. r576update((((T90*)C))->_target/*12*/,(((T90*)C))->_run_feature/*16*/);
  3007. }
  3008. void r90error(T0* a1,T0* a2){
  3009. r683add_position(a1);
  3010. r683error(((T683*)(oBC364eh)),a2);
  3011. }
  3012. /*No:CALL_INFIX_IMPLIES.isa_dca_inline_argument*/
  3013. /*No:CALL_INFIX_IMPLIES.fatal_error*/
  3014. /*No:CALL_INFIX_IMPLIES.fz_bad_argument*/
  3015. /*No:CALL_INFIX_IMPLIES.arg1*/
  3016.  
  3017.